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

zbMATH Open0555.68006MaRDI QIDQ760792FDOQ760792

Eugeniusz Eberbach

Publication date: 1984

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

zbMATH Keywords

coroutine programs

Mathematics Subject Classification ID

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

   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 👍 👎

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)