Добавени две доказателства за автоматни езици.