𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Validation Method for Communication Protocols Using Context–Free Language Theory

✍ Scribed by Kaoru Kurosawa; Yoshiki Kuwabara; Takashi Shigeno

Book ID
112205739
Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
413 KB
Volume
19
Category
Article
ISSN
0882-1666

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A decision method for Parikh slenderness
A decision method for Parikh slenderness of context-free languages
✍ Juha Honkala 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 218 KB

In a recent paper we introduced Parikh slender languages as a generalization of slender languages defined and studied by AndraSiu, Dassow, Pgun and Salomaa. Results concerning Pa&h slender languages can be applied in ambiguity proofs of context-free languages. In this paper an algorithm is presented