Ограничена-детерминираща функция - е

- Речник функция. характеризиране на поведението на състоянията на краен автомат. (Тази функция се нарича. Лексика, както и дали домейнът на домейна на неговите ценности са набор от думи или superwords.)

Ако е всеки азбука. нека множеството от всички думи, и - набор от думи или набор от всички сътрудници думи над азбуката А. производств функция, показвайки, в които Ai B- произволен краен азбука, наречена. детерминирана функция, ако са изпълнени следните две условия:

1) за всеки от дължина, равна на брадва 2) if- ligde дължина на думата. стойностите и имат еднаква дължина старт л.

Ако определената функция F се определя от набор от superwords в азбуката, тогава ефектът на 1) и 2) тя се простира до еднозначно определени за произволна дължина на думата lznachenie е (а) съвпада с началото lznacheniya дължина. при което - произволна hyperword в А. По този начин, всеки детерминираща функция е удовлетворява следното условие:

3) за всички думи, от и към някоя от равенство, където - НЕК-рай детерминирана функция на снимачната площадка. Думата се определя еднозначно. еа на функция, наречена. остатъчен функция е. Състояние 3), следва, че всяка детерминираща функция е определя от набор от еквивалентност връзка, ако и само ако. Място на тези отношения, или това, което е същото, максималният брой различни остатъчни функции се наричат. тегло детерминираща функция е. Ако теглото на детерминирана функция е ограничен, а след това той се нарича. ограничената-детерминираща функция. Това понятие се отнася до функциите на tperemennyh където ако tslov комплекти с еднаква дължина (или superwords) в азбуки съответно разглеждат като думата (hyperword) в азбуката е декартови продукт от азбуката. По същия начин може да се разглежда бг е. с няколко изхода, т. е. стойности от които са комплекта kslov или superwords съответно във всички азбуки клас BD е. Това съвпада с класа на функции изчислимите от крайни автомати. Затова бг, за да настроите е. същия начин, както за изпълнение на задачата на държавните машини, например, могат да бъдат използвани каноничен. уравнение (вж. краен автомат, Автомати методи за присвояване). От това следва, по-специално, че в класа на бг е. с съвпадение азбуки затворени под суперпозиции. Минималните (брой състояния) изчислява автомат BD е. тегло е т, съдържа psostoyany и могат да бъдат конструирани както следва. Да - произволни представители на всички класове на Р. на равностойност връзка Всеки клас се определя на шията, Roe

състояние на машината. Функцията преход и к е функция на изходния определя от следните условия: ако държавата, където съответния клас се приема като първоначалното състояние, съответстващо на класа на R (е), където е - празна дума.

Литература [1] Kudryavtsev V. Б. Лекции по теорията на крайни автомати, М. 1976 [2] Yablonskiy S. V. Въведение Дискретна математика, МА през 1979.

Енциклопедия по математика. - М. съветски енциклопедия. I. М. Виноградов. 1977-1985.

Вижте какво е "ограничена-определими функции" в други речници:

АВТОМАТИЧЕН - управляващия система, която е краен автомат или негова модификация, получена чрез промяна компоненти или функционира. Окончателно основна концепция се появява в средата на 20-ти век. във връзка с опитите да се опише математически ... ... енциклопедия по математика