17xx editovat

18xx editovat

19xx editovat

- V roce 1956 položil základy k teorii formálních jazyků