Создайте DFA, который принимает набор всех строк 0 и 1, начинающихся с 1, который при интерпретации...

Палиндром - это язык в автоматах. Но я не могу понять следующий абзац. Я рассчитал много вещей, и...

Если вы не знакомы с LTL (линейная временная логика), пропустите этот вопрос!И да, LTL очень важен...