Structured program theorem
http://dbpedia.org/resource/Structured_program_theorem an entity of type: WikicatTheorems
構造化定理（こうぞうかていり、英: Structure theorem）とは、任意の一入力・一出力関数は、順次（sequence）、選択（ifthenelse）、繰り返し（whiledo）の３つの基本制御構造からなる関数と等価であることを主張する定理である。構造化プログラム定理（structured program theorem） あるいは ベーム-ヤコピーニの定理（Böhm-Jacopini theorem）とも呼ばれる。 goto文を除去することを正当化する内容を持ち、ミルズの構造化プログラミングにおいて基本となる定理である。
rdf:langString
Il teorema di Böhm-Jacopini, enunciato nel 1966 dagli informatici Corrado Böhm e Giuseppe Jacopini, è un teorema di informatica teorica il quale afferma che qualunque algoritmo può essere implementato in fase di programmazione (in diagramma di flusso, pseudocodice o codice sorgente) utilizzando tre sole strutture dette strutture di controllo: la sequenza, la selezione e l'iterazione, da applicare in modo gerarchico alla composizione di istruzioni elementari (ad esempio, istruzioni eseguibili con il modello di base della macchina di Turing).
rdf:langString
結構化程式理論也稱為伯姆-贾可皮尼理論或Böhm-Jacopini理論，是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可计算函数都可以用此種程式語言來表示。三個調整控制流程的方式為 1.
* 執行一個子程式，然後執行下一個（顺序） 2.
* 依照布尔變數的結果，決定執行二段子程式中的一段（選擇） 3.
* 重覆執行某子程式，直到特定布尔變數為真為止（循环） 符合上述條件的結構圖需要額外的位元變數（在原始證明中放在額外的整數變數中），以紀錄原來程式執行到的位置，此種建構法是以伯姆的程式語言為基礎。
rdf:langString
Базові алгоритмічні структури — це основні структурні елементи, за допомогою яких створюють алгоритм для розв'язування певної задачі. Існують три основні (базові) алгоритмічні структури: слідування (лінійна), розгалуження та повторення, за допомогою поєднання яких може бути представлено логічну структуру будь-якого алгоритму. Основна особливість базових алгоритмічних структур — це їх повнота, тобто цих структур достатньо для створення найскладнішого алгоритму, та наявність у кожної з них одного входу та одного виходу. Графічні зображення структур називають блок-схемами.
rdf:langString
El teorema del programa estructurat és un resultat de la teoria de llenguatges de programació. Aquest teorema estableix que tota funció computable pot ser implementada per un llenguatge de programació que combini subrutines de només 3 tipus. Aquestes 3 formes també anomenades estructures de control són: Aquest teorema demostra que la instrucció GOTO no és estrictament necessària i que per a tot programa existeix un programa equivalent que no utilitza aquesta instrucció.
rdf:langString
El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas. Esas tres formas (también llamadas estructuras de control) específicamente son: Este teorema demuestra que la instrucción GOTO no es estrictamente necesaria y que para todo programa que la utilice existe otro equivalente que no hace uso de dicha instrucción.
rdf:langString
The structured program theorem, also called the Böhm–Jacopini theorem, is a result in programming language theory. It states that a class of control-flow graphs (historically called flowcharts in this context) can compute any computable function if it combines subprograms in only three specific ways (control structures). These are 1.
* Executing one subprogram, and then another subprogram (sequence) 2.
* Executing one of two subprograms according to the value of a boolean expression (selection) 3.
* Repeatedly executing a subprogram as long as a boolean expression is true (iteration)
rdf:langString
Twierdzenie o programie strukturalnym (ang. Structured program theorem), nazywane także Twierdzeniem Böhma-Jacopiniego (ang. Böhm–Jacopini theorem) – twierdzenie w teorii języków programowania mówiące o tym że grafy przepływu sterowania mogą obliczyć dowolną funkcję obliczalną, jeżeli kombinują podprogramy tylko na 3 sposoby:
rdf:langString
Теорема Бёма — Якопини — положение структурного программирования, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур управления: последовательной (англ. sequence), ветвлений (англ. selection) и повторов или циклов (англ. iteration). 1. В последовательной структуре инструкции выполняются в том порядке, как они записаны в программе, то есть одна за другой.
rdf:langString
rdf:langString
Teorema del programa estructurat
rdf:langString
Teorema del programa estructurado
rdf:langString
Teorema di Böhm-Jacopini
rdf:langString
構造化定理
rdf:langString
Twierdzenie Böhma-Jacopiniego
rdf:langString
Structured program theorem
rdf:langString
Теорема Бёма — Якопини
rdf:langString
Структурна теорема Бьома — Якопіні
rdf:langString
結構化程式理論
xsd:integer
1482138
xsd:integer
1116450974
rdf:langString
El teorema del programa estructurat és un resultat de la teoria de llenguatges de programació. Aquest teorema estableix que tota funció computable pot ser implementada per un llenguatge de programació que combini subrutines de només 3 tipus. Aquestes 3 formes també anomenades estructures de control són:
* Executar una subrutina i després una altra (estructures de seqüència)
* Executar una subrutina seleccionada d'entre 2 rutines possibles depenent d'un valor boolea (estructures de selecció com IF-THEN-ELSE)
* Executar una subrutina durant el temps que una variable booleana sigui certa (estructures d'iteració, cicle o bucle) Aquest teorema demostra que la instrucció GOTO no és estrictament necessària i que per a tot programa existeix un programa equivalent que no utilitza aquesta instrucció. El experts en computació acrediten aquest teorema a un article escrit per i . Tot i això, va rastrejar els orígens d'aquest teorema fins a arribar a la descripció de 1946 de l'arquitectura de Von Neumann i el teorema formal de Kleene.
rdf:langString
El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas. Esas tres formas (también llamadas estructuras de control) específicamente son: 1.
* Secuencia: ejecución de una instrucción tras otra. 2.
* Selección: ejecución de una de dos instrucciones (o conjuntos), según el valor de una variable booleana. 3.
* Iteración: ejecución de una instrucción (o conjunto) mientras una variable booleana sea 'verdadera'. Esta estructura lógica también se conoce como ciclo o bucle. Este teorema demuestra que la instrucción GOTO no es estrictamente necesaria y que para todo programa que la utilice existe otro equivalente que no hace uso de dicha instrucción. Los científicos de la computación usualmente acreditan el teorema a un artículo de 1966 escrito por Corrado Böhm y . Sin embargo, rastreó sus orígenes hasta la descripción de 1946 de la arquitectura de von Neumann y el teorema de la forma normal de Kleene. La demostración de Böhm-Jacopini describe cómo construir diagramas de flujo estructurados a partir de cualquier diagrama de flujo, usando los bits de una variable entera extra para dar seguimiento a la información que el programa original representa mediante puntos de entrada en el código. Esta construcción estuvo basada en el lenguaje de programación P′′ de Böhm. La demostración de Böhm-Jacopini no esclareció la cuestión sobre cuándo convendría usar programación estructurada para el desarrollo de software, en parte porque la construcción ofuscaba el código del programa en lugar de mejorarlo. Por otro lado, fue el punto de partida para iniciar el debate. Edsger Dijkstra escribió una importante carta titulada "La sentencia Go To considerada dañina" en el año 1968. Posteriores estudios agregaron aproximaciones más prácticas a la demostración de Böhm-Jacopini, que mantenían o mejoraban la claridad del programa original.
rdf:langString
The structured program theorem, also called the Böhm–Jacopini theorem, is a result in programming language theory. It states that a class of control-flow graphs (historically called flowcharts in this context) can compute any computable function if it combines subprograms in only three specific ways (control structures). These are 1.
* Executing one subprogram, and then another subprogram (sequence) 2.
* Executing one of two subprograms according to the value of a boolean expression (selection) 3.
* Repeatedly executing a subprogram as long as a boolean expression is true (iteration) The structured chart subject to these constraints may however use additional variables in the form of bits (stored in an extra integer variable in the original proof) in order to keep track of information that the original program represents by the program location. The construction was based on Böhm's programming language P′′. The theorem forms the basis of structured programming, a programming paradigm which eschews goto commands and exclusively uses subroutines, sequences, selection and iteration.
rdf:langString
構造化定理（こうぞうかていり、英: Structure theorem）とは、任意の一入力・一出力関数は、順次（sequence）、選択（ifthenelse）、繰り返し（whiledo）の３つの基本制御構造からなる関数と等価であることを主張する定理である。構造化プログラム定理（structured program theorem） あるいは ベーム-ヤコピーニの定理（Böhm-Jacopini theorem）とも呼ばれる。 goto文を除去することを正当化する内容を持ち、ミルズの構造化プログラミングにおいて基本となる定理である。
rdf:langString
Il teorema di Böhm-Jacopini, enunciato nel 1966 dagli informatici Corrado Böhm e Giuseppe Jacopini, è un teorema di informatica teorica il quale afferma che qualunque algoritmo può essere implementato in fase di programmazione (in diagramma di flusso, pseudocodice o codice sorgente) utilizzando tre sole strutture dette strutture di controllo: la sequenza, la selezione e l'iterazione, da applicare in modo gerarchico alla composizione di istruzioni elementari (ad esempio, istruzioni eseguibili con il modello di base della macchina di Turing).
rdf:langString
Twierdzenie o programie strukturalnym (ang. Structured program theorem), nazywane także Twierdzeniem Böhma-Jacopiniego (ang. Böhm–Jacopini theorem) – twierdzenie w teorii języków programowania mówiące o tym że grafy przepływu sterowania mogą obliczyć dowolną funkcję obliczalną, jeżeli kombinują podprogramy tylko na 3 sposoby: 1.
* Wykonanie jednego podprogramu, a następnie kolejnego podprogramu (sekwencja); 2.
* Wykonywanie jednego z dwóch podprogramów zgodnie z wartością wyrażenia logicznego (selekcja); 3.
* Wielokrotne wykonywanie podprogramu, o ile prawdziwe jest wyrażenie boolowskie (iteracja). Pochodzenie tego twierdzenia jest zwyczajowo przypisywane publikacji z roku 1966 której autorami byli and . David Harel napisał w 1980 że publikacja Böhma-Jacopiniego cieszy się powszechną popularnością, szczególnie przez zwolenników paradygmatu programowania strukturalnego.
rdf:langString
Теорема Бёма — Якопини — положение структурного программирования, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур управления: последовательной (англ. sequence), ветвлений (англ. selection) и повторов или циклов (англ. iteration). 1. В последовательной структуре инструкции выполняются в том порядке, как они записаны в программе, то есть одна за другой.
* Например:Подпрограмма 1 /* последовательное выполнение инструкций 1, 2 ..N…...*/ Инструкция 1; Инструкция 2; ... Инструкция N;Конец Подпрограммы 1. 2. В структуре ветвлений последовательность выполнения инструкций зависит от заданного, чаще всего логической переменной, условия.
* Например:Подпрограмма 2 /* ветвлений – Выбор инструкции согласно условию */ Если условие 1 то Инструкция 1; /* выполняется, если истинно условие 1 */ Если условие 2 то Инструкция 2; /* выполняется, если истинно условие 2 */ ... Иначе Инструкция N; /* выполняется, если ни одно из условий не является истинным */ .Конец Подпрограммы 2. 3. В циклах инструкции повторяются до тех пор, пока не изменится некое условие, например значение логической переменной.
* Например:Подпрограмма 3 /* цикл */ Пока условие N выполнить Инструкция N /* цикл повторяется пока верно условие N */ Инструкция N + 1 /* выход из цикла по нарушению условия N */ Конец Подпрограммы 3 Теорема была сформулирована и доказана итальянскими математиками Коррадо Бёмом и Джузеппе Якопини (Giuseppe Jacopini) в их статье 1966 года. В статье также описывались методы преобразования неструктурированных алгоритмов в структурированные на примере созданного Бёмом языка программирования P′′. Спустя 2 года после публикации теоремы, в 1968 году вышла статья Эдсгера Дейкстры «Go To Statement Considered Harmful», в которой он критиковал использование оператора GOTO и высказывался в пользу улучшения стиля программного кода за счёт использования структур управления и отказа от других инструкций, управляющих ходом алгоритма. Структурная теорема Бёма-Якопини не была началом структурного программирования. Эта теорема является научным положением, использованным Дейкстрой для обоснования его идеи об использовании в программах только управляющих структур: последовательных структур, ветвлений и циклов и не более того.
rdf:langString
結構化程式理論也稱為伯姆-贾可皮尼理論或Böhm-Jacopini理論，是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可计算函数都可以用此種程式語言來表示。三個調整控制流程的方式為 1.
* 執行一個子程式，然後執行下一個（顺序） 2.
* 依照布尔變數的結果，決定執行二段子程式中的一段（選擇） 3.
* 重覆執行某子程式，直到特定布尔變數為真為止（循环） 符合上述條件的結構圖需要額外的位元變數（在原始證明中放在額外的整數變數中），以紀錄原來程式執行到的位置，此種建構法是以伯姆的程式語言為基礎。
rdf:langString
Базові алгоритмічні структури — це основні структурні елементи, за допомогою яких створюють алгоритм для розв'язування певної задачі. Існують три основні (базові) алгоритмічні структури: слідування (лінійна), розгалуження та повторення, за допомогою поєднання яких може бути представлено логічну структуру будь-якого алгоритму. Основна особливість базових алгоритмічних структур — це їх повнота, тобто цих структур достатньо для створення найскладнішого алгоритму, та наявність у кожної з них одного входу та одного виходу. Графічні зображення структур називають блок-схемами.
xsd:nonNegativeInteger
20292
