Входная цепочка может начинаться с любого:
(Отметьте один правильный вариант ответа.)
Варианты ответа
терминального символа(Верный ответ)
контекстного символа
нетерминального символа
S->aABeA->AbcA->bB->dцепочка abbcde может быть свернута в аксиому следующим образом:
q = q0;c = GetChar();while (c != eof) { q = move (q, c); c = GetChar();}if (q is in F) return "yes";else return "no";демонстрирует (предполагается, что входная лента заканчивается символом end_of_file):