Böhm-Jacopini theorem en · PROPN
Etymology
Developed by Corrado Böhm and Giuseppe Jacopini.
Meanings
- A theorem stating that a class of control flow graphs can compute any computable function using only sequences, selections, and iterations.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Böhm-Jacopini theorem | canonical | lexicographic |