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