𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A homomorphic representation of simple matrix languages

✍ Scribed by Anca Pascu; Gheorghe Păun


Book ID
114037271
Publisher
Elsevier Science
Year
1977
Weight
364 KB
Volume
35
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Approximately satisfied properties of sy
✍ Ulrich Nitsche; Peter Ochsenschläger 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 570 KB

We define a new satisfaction relation for properties of a system's behaviour, approximate satisfaction. We show, for approximately satisfied properties, that they can be partitioned into a safety and a liveness property similar to linear properties. We will see that approximate satisfaction and line