ON AN APPROACH TO FUNCTIONAL SPECIFICATION OF AUTOMATA SYSTEMS .3.

Authors
Citation
An. Chebotarev, ON AN APPROACH TO FUNCTIONAL SPECIFICATION OF AUTOMATA SYSTEMS .3., Cybernetics and systems analysis, 29(5), 1993, pp. 631-640
Citations number
2
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Science Cybernetics
ISSN journal
10600396
Volume
29
Issue
5
Year of publication
1993
Pages
631 - 640
Database
ISI
SICI code
1060-0396(1993)29:5<631:OAATFS>2.0.ZU;2-N
Abstract
A language based on a logic of one-place predicates of an integral arg ument was described in Parts I and II [1, 2]. It was shown how that la nguage could be employed for the specification of deterministic automa ta superlexicographic functions. Nondeterministic automata X-Y-functio ns were presented as classes of specified deterministic automata X-Y-f unctions. It was also shown that all specified nondeterministic X-Y-fu nctions belong to the class PHI0(X, Y), which coincides with the class of X-Y-functions associated with all initial nondeterministic automat a of class K0(X, Y). The question naturally arises: which functions of PHI0(X, Y) can be X-Y-specified in the proposed language? An answer t o that question will be provided here; a subclass PHI1(X, Y) subset-or -equal-to PHI0(X, Y) of nondeterministic automata X-Y-functions will b e defined that coincides with the class of all such functions that can be X-Y-specified. As is class PHI0(X, Y), class PHI1(X, Y) is charact erized as the class of all automata X-Y-functions that are associated with automata of class K1(X, Y) subset-or-equal-to K0(X, Y). The defin itions, notation, and results of Parts I and II will be used extensive ly.