Результаты поиска по запросу "computation-theory"
Является ли * b * регулярным?
Я знаюnbn для п> 0 не является регулярным по лемме накачки, но я бы вообразилa*b* быть регулярным, поскольку оба a, b не обязательно должны быть одинаковой длины. Есть ли доказательства того, что это регулярно или нет?
Он может генерировать все не палиндромы
ужен CFG, который будет генерировать строки, отличные от палиндромов. Решение было предоставлено и выглядит следующим образом. (Введение в теорию вычислений - Sipser) R -> XRX | S S -> aTb | bTa T -> XTX | X | <epsilon> X -> a | bЯ получил ...