Pewne uproszczenie podstawowego twierdzenia o automatach

Studia Logica - Tập 26 - Trang 44-44 - 1970
J. Nowak