Modal functions for concise definition of state machines and products
type: Item
instance of: scholarly article
title: Modal functions for concise definition of state machines and products
zbMATH Open document ID: 0749.68055
DOI: 10.1016/0020-0190(91)90011-6
author: Victor Yodaiken
published in: Information Processing Letters
publication date: 1992-06-28T00:00:00Z
review text: A method is presented based on modal extension of the primitive recursive functions (MPR) to describe systems with complex control or large state sets. After the presentation (in section 2) of the definition of MPR functions and of their properties, a theorem is proved, showing that the class of MPR functions is equivalent to the class of Moore machines. Then, in section 3, it is shown that the different forms of automata products may be described in terms of MPR functions composition.
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 33292
zbMATH Keywords: finite automata
zbMATH Keywords: recursive functions
reviewed by: Leon Livovschi
MaRDI profile type: Publication
full work available at URL: 0020-0190(91)90011-6
OpenAlex ID: W1976488570
cites work: Q5730897
cites work: Q5590815
cites work: Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
cites work: Q3241191
cites work: Hierarchies of Effective Descriptive Set Theory
cites work: Q3951547
cites work: Q5592246
cites work: Q4185809
cites work: Application of model theoretic games to discrete linear orders and finite automata
cites work: Q5525259
cites work: Q5533181
cites work: Q3769981
cites work: Q5786041
cites work: The varieties of arboreal experience
cites work: Computation on binary tree-networks
Recommended article: Moded and continuous abstract state machines
Recommended article: Q4916987
Recommended article: Q4375629
Recommended article: State-transition machines for lambda-calculus expressions
Recommended article: Decidable properties for monadic abstract state machines
Recommended article: Q4783310
Recommended article: Modal I/O Automata for Interface and Product Line Theories
Recommended article: Q5015367
description: scientific article; zbMATH DE number 33292