Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Нереализуемость умножения с помощью конечного автомата



- слово

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; Прочитано: 234 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...