Logical representation of algorithmic systems by the Petri-Chomsky machine

MaRDI QIDQ1103398zbMATH OpenFDO

Authors V. F. Shpak

Publication date 1987

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

algorithmic systemsPetri netsPetri-Chomsky machinepushdown automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Membrane Computing
• scientific article; zbMATH DE number 3958740
• scientific article; zbMATH DE number 3922334
• Petri nets controlled by a finite state machine
• scientific article; zbMATH DE number 4131674

Cited in

(2)

• System of interconnected graphs and simulation of discrete processes
• Definition and basic properties of one modification of computational schema for recognition algorithms

This page was built for publication: Logical representation of algorithmic systems by the Petri-Chomsky machine

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