Mărginit-determinist funcția - este

- Dicționar funcție. caracterizează comportamentul unei mașini de stare finită. (Această funcție se numește. Vocabular și dacă domeniul din domeniul valorilor sale sunt un set de cuvinte sau superwords.)

Dacă A este orice alfabet. lăsați mulțimea tuturor cuvintelor, și - setul de cuvinte sau a unui set de toate co-cuvinte peste alfabetul A. Functia f, care arată în care Ai B- arbitrar alfabet finit numit. o funcție determinist, în cazul în care sunt îndeplinite următoarele două condiții:

1) pentru fiecare lungime egală cu ax 2) dacă- lungimea cuvântului ligde. valorile și au o lungime identică start l.

Dacă funcția determinată f este definită pe mulțimea superwords în alfabetul, atunci efectul 1) și 2) se extinde pentru a stabili în mod unic pentru arbitrar lungimea cuvântului lznachenie f (a) coincide cu începutul lznacheniya lungime. în care - hyperword arbitrar în A. Astfel, orice funcție deterministă f satisface condiția următoare:

3) pentru toate cuvintele de la oricare și egalității în cazul în care - NEK-paradis funcția determinist pe platoul de filmare. cuvânt este determinat în mod unic. Funcția fa, numit. Funcția reziduală f. Condiția 3), rezultă că orice funcție deterministă f determină pe setul de relație de echivalență dacă și numai dacă. Locul acestei relații, sau ceea ce este același lucru, numărul maxim de funcții distincte reziduale sunt numite. greutate funcție deterministă f. În cazul în care greutatea unei funcții determinist este finită, atunci aceasta se numește. Funcția mărginită-determinist. Acest concept se aplică pentru funcțiile tperemennyh în care dacă tslov seturi de lungime egală (sau superwords) în alfabete respectiv considerate cuvântul (hyperword) în alfabet este un produs cartezian al alfabetelor. În același mod poate fi considerată bd f. cu mai multe ieșiri, m. f. Valorile din care sunt seturi de kslov sau superwords, respectiv, în toate alfabetele Class bd f. Acesta coincide cu clasa de funcții de calcul de automate finite. Prin urmare, bd pentru a seta f. aceleași mijloace ca și pentru sarcina de mașini de stat, de exemplu, un canonic poate fi folosit. ecuația (vezi. automaton finit, a automatelor metode de atribuire). Rezultă, în special, că clasa bd f. cu potrivire alfabete închise sub superpoziții. Minimul (număr de state) calculează bd automaton f. greutate f t, conține psostoyany și pot fi construite după cum urmează. Să - reprezentanți ai tuturor claselor arbitrare ale R. relație de echivalență Fiecare clasă este atribuit un gât-Roe

starea mașinii. Funcția de tranziție și j este funcția de ieșire determinată de următoarele condiții: în cazul în care statul în care clasa corespunzătoare este considerată o stare inițială corespunzătoare clasei R (e), unde e - cuvânt gol.

Lit. [1] Kudryavtsev V. B. Prelegeri teoria automatelor finite, M. 1976 [2] Yablonskiy S. V. Introducere în matematică discretă, MA în 1979.

Enciclopedia de Matematică. - M. sovietic Enciclopedia. I. M. Vinogradov. 1977-1985.

Vezi ce „funcții determinate delimitat“ în alte dicționare:

AUTOMAT - sistemul de gestionare, care este un automat finit sau o modificare a acesteia obținută prin schimbarea componentelor sau funcțională. Un concept de bază finală a apărut la mijlocul secolului al 20-lea. în legătură cu încercările de a descrie în matematică ... ... Enciclopedia de Matematică