Context-sensitive and context-free vectors of PD-coroutines languages

zbMATH Open0555.68006MaRDI QIDQ760792FDOQ760792

Authors: Eugeniusz Eberbach 

Publication date: 1984

Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)

Recommendations

• Analysis of vectors of coroutines by means of trees
• The context-freeness of the languages associated with vector addition systems is decidable
• On the context-freeness problem for vector addition systems
• Automata, Languages and Programming
• Vector grammars and PN machines

zbMATH Keywords

coroutine programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (1)

• Analysis of vectors of coroutines by means of trees

This page was built for publication: Context-sensitive and context-free vectors of PD-coroutines languages

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