 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Нереализуемость умножения с помощью конечного автомата
|
|
- слово
aw = a … a … - сверхслово
| <1> = 1000… <2> = 0100… <3> = 1100… <4> = 0010… | Þ | <2n> = 0n10w f(<n>) = <n2> f(<2n>) = <22n> |
F(0n10w) = 02n10w = [по второму условию детерминируемости функций] = 
= 0n10w, так как f(0n) = 0n
Таким образом, вес функции f бесконечен. Значит, по критерию автоматности функции Þ f – не автомат, то есть нет автомата, реализующего ее.
Дата публикования: 2015-01-23; Прочитано: 250 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
