| Anglicky | Česky |
| by Lemma X | podle lemmatu X |
| claim implies that st., so st. | ? |
| Complete this proof by analogy with the proof of Lemma X. | Dokončete tento důkaz analogicky k důkazu lemmatu X. |
| distinguish between 1 and 2 | ? |
| extend the domain of h to V | Rozšiřme "doménu"? pro h na V |
| for some n | pro nějaké/libovolné??? |
| (the) following construction produces an euivalent grammar | následující konstrukce vytváří ekvivalentní gramatiku |
| iff = if and only if | právě když, když a jen když |
| introduce a homomorphism h, from V to ... | zaveďme homomorfismus h, z V do ... |
| set of productions | množina pravidel [u gramatik] |
| set of rules | množina pravidel(přechodů) [u automatů] |
| start symbol = axiom | startovací symbol, axiom gramatiky |
| such that | takové že |
| Therefore, this theorem holds. | ? |
| total alphabet | totální abeceda (všechny symboly) |
| terminal alphabet | abeceda terminálů |
| without loss of generality, assume that ... | bez újmy na obecnosti, předpokládejme, že |
