Automata with a time-variant structure and supply-demand theorems

MaRDI QIDQ700261zbMATH OpenFDO

Authors Pham Tra An

Publication date 4 March 2003

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

zbMATH Keywords

finite automatatime-variant structure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

This paper follows some older papers studying finite automata with time-variant structure, i.e., with the transition function being depended on the time where the time is represented by the set of nonnegative integers. Here the author considers a more general model when also the set of states is time-dependent. He then provides some results showing how the growth of the state set constraints the accepted languages.

Recommendations

• scientific article; zbMATH DE number 3984607
• A theory of timed automata
• Automata over continuous time
• Time varying pushdown automata
• Dynamical properties of timed automata
• Dynamical Properties of Timed Automata Revisited
• Automata-Based Computation of Temporal Equilibrium Models
• Time varying finite automata
• Automata and temporal logic over arbitrary linear time
• scientific article; zbMATH DE number 3468689

Cited in

(5)

• scientific article; zbMATH DE number 3885320 (Why is no real title available?)
• scientific article; zbMATH DE number 3860399 (Why is no real title available?)
• Time varying finite automata
• Automata-Based Computation of Temporal Equilibrium Models
• scientific article; zbMATH DE number 3309210 (Why is no real title available?)

This page was built for publication: Automata with a time-variant structure and supply-demand theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700261)