Напишете регулярен израз за езика (автомати)

[simeon88]

Доста се чудя дали не греша отговора на задачата.

Задача 3. Напишете регулярен израз за езика, който се разпознава от автомата A, зададен със
следната диаграма на състоянията:

http://svb-bg.net/a.jpg

Отг. (мой) : R = (0 U 1) ((00 U 01)* U 1*)*

[niai]

Езикът се състои от всички думи, задършващи на 1, и думата 0 (ако разчитам правилно автомата lol). Твоят израз позволява да се получат и думи, завършващи на 0 и по-дълги от думата 0. Нещо такова, мисля, че ще свърши работа:
[tex]0\cup ((0\cup 1)^{*}1^{+})[/tex]

[simeon88]

Езикът се състои от всички думи, задършващи на 1, и думата 0 (ако разчитам правилно автомата lol). Твоят израз позволява да се получат и думи, завършващи на 0 и по-дълги от думата 0. Нещо такова, мисля, че ще свърши работа:
[tex]0\cup ((0\cup 1)^{*}1^{+})[/tex]

Мисля, че w=0 и w=100 са решения
1. w=0 => (q0,0)=q1
2. w=100 => (q0,1)=q1 , (q1,0)=q0 , (q0,0)=q1

q1 ни е решение. Освен, ако не греша някаде ?

1. Винаги започваме с 0 ili 1 за да достигнем q1 => (0 U 1)
2a. При въвеждане на 0 за да се върнем на q1 ни трябва (0 U 1) => (00 U 01)
2b. Не сме задължени да въвеждаме 0 => (00 U 01)*
3. Оставаме на q1 при многобройно или никакво въвеждане на 1 => 1*
4. Може да въвеждаме 2a. 2b. 3. по различен начин => (00 U 01)* U 1*
5. Не сме длъжни да въвеждаме нищо след точка 1.(тоест (0 U 1)) => ((0 U 1)* U 1*)*

заключение : R=(0 U 1) ((0 U 1)* U 1*)*

Кажете ми ако бъркам някъде .

[simeon88]

Езикът се състои от всички думи, задършващи на 1, и думата 0 (ако разчитам правилно автомата lol). Твоят израз позволява да се получат и думи, завършващи на 0 и по-дълги от думата 0. Нещо такова, мисля, че ще свърши работа:
[tex]0\cup ((0\cup 1)^{*}1^{+})[/tex]

Мисля, че w=0 , w=100 и w=000 са решения
1. w=0 => (q0,0)=q1
2. w=100 => (q0,1)=q1 , (q1,0)=q0 , (q0,0)=q1
3. w=000 => (q0,0)=q1 , (q1,0)=q0 , (q0,0)=q1

q1 ни е решение. Освен, ако не греша някаде ?

1. Винаги започваме с 0 ili 1 за да достигнем q1 => (0 U 1)
2a. При въвеждане на 0 за да се върнем на q1 ни трябва (0 U 1) => (00 U 01)
2b. Не сме задължени да въвеждаме 0 => (00 U 01)*
3. Оставаме на q1 при многобройно или никакво въвеждане на 1 => 1*
4. Може да въвеждаме 2a. 2b. 3. по различен начин => (00 U 01)* U 1*
5. Не сме длъжни да въвеждаме нищо след точка 1.(тоест (0 U 1)) => ((0 U 1)* U 1*)*

заключение : R=(0 U 1) ((0 U 1)* U 1*)*

Кажете ми ако бъркам някъде .

[niai]

Ъм, ок, тук ти дължа голямо извинение Първоначалното ми "наблюдение" е напълно погрешно, съответно всичко, произлизащо от него. Твоето е вярно.