Обобщенные недетерминированные конечные автоматы

Клини аналог теоремы алгоритмы эквивалентных преобразований аналог теоремы Клини конечные автоматы недетерминированные конечные автоматы обобщенные автоматы обобщенные регулярные выражения регулярные выражения формализмы эквивалентные преобразования

Генератор высоковольтных импульсов с газоразрядным стартером для зажигания ламп высокого давления, О единственности решения уравнения Гахова для функций из классов Яновского, ...

Рассматривается формализм, предназначенный для представления специального расширения класса конечных автоматов – так называемых обобщенных недетерминированных конечных автоматов. <...> Из изложенных в статье алгоритмов эквивалентного преобразования определяемых нами автоматов и аналога теоремы Клини для них вытекает не столько эквивалентность их и обычных конечных автоматов (эта эквивалентность очевидна априори), сколько возможность определения операции дополнения (и вообще обобщенных регулярных выражений) обычными «автоматными» методами. <...> Также в статье описан метод построения конкретного обобщенного автомата, который определяет заданное обобщенное регулярное выражение. <...> Данный метод вытекает из доказательства аналога теоремы Клини. <...> Представленные расширенные возможности для описания регулярных языков могут быть полезны в некоторых приложениях, например, в контекстном поиске. <...> Ключевые слова: недетерминированные конечные автоматы, обобщенные регулярные выражения, алгоритмы эквивалентного преобразования, аналог теоремы Клини. <...> Введение В данной статье рассматривается формализм, предназначенный для представления специального расширения класса недетерминированных конечных автоматов. <...> При этом, кроме более подробного изложения рассмотренных в [1–3] понятий и доказанных фактов, в настоящей статье также описывается метод построения конкретного обобщенного автомата, который определяет (среди прочих) заданное обобщенное регулярное выражение. <...> С помощью предложенного формализма автоматы могут описывать не только операции, обычные для регулярных выражений, но и применяемую для обобщенных регулярных выражений операцию дополнения. <...> Такие расширенные возможности для описания регулярных языков (иными словами – расширение класса недетерминированных конечных автоматов) могут быть полезны в некоторых приложениях, в частности, в контекстном поиске. <...> Из этих действий вытекает не <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт