Мне нужно создать конечный автомат - PullRequest
0 голосов
/ 18 февраля 2020

Рассмотрим язык L всех строк, состоящих из символов 0, 1 и 2 (Σ = {0, 1, 2}), где последний символ не меньше первого символа. Например, строки 0, 2012, 01231 и 102 на языке, но 10, 2021 и 201 не на языке.

Поскольку 0 в языке, и я не понимаю, почему, я не могу понять, есть ли строки 1 и 2 в языке?

Так может кто-нибудь сказать мне, если 1 и 2 как строка сами по себе есть в языке и почему?

Спасибо

1 Ответ

2 голосов
/ 18 февраля 2020

'0' на языке, потому что первый символ и последний символ в '0' оба '0'. Это удовлетворяет требованиям, что последний не меньше первого.

Это означает, что то же самое относится к '1', '2', и к пустой строке ''.

...