منابع مشابه
Partition logics of automata
We introduce a new type of orthomodular poset which is obtained by considering the pasting of partitions of a set. These partition logics appear in the experimental investigation of finite automata and can be related to certain quantum mechanical systems.
متن کاملPartition Logics, Orthoalgebras and Automata
We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.
متن کاملProduct of Partition Logics, Orthoalgebras and Automata
We attempt to define a coupled system consisting of two partition logics and we introduce a product of partition logics. These partition logics have a close connection with Moore and Mealy type automata. We show how the coupled system of two automata is connected with the product of partition logics, and persent some illustrative examples.
متن کاملWeighted Automata and Weighted Logics
In automata theory, Büchi’s and Elgot’s fundamental theorems [6, 7, 25] established the coincidence of regular and ω-regular languages with languages definable in monadic second-order logic. At the same time, Schützenberger [57] investigated finite automata with weights and characterized their behaviours as rational formal power series. Both of these results have inspired a wealth of extensions...
متن کاملAutomata and Logics over Signals
We extend some of the classical connections between automata and logic due to Büchi [1] and McNaughton and Papert [2], to languages of finitely varying functions or “signals”. In particular we introduce a natural class of automata for generating finitely varying functions called ST-NFA’s, and show that it coincides in terms of language-definability with a natural monadic second-order logic inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Il Nuovo Cimento B Series 11
سال: 1994
ISSN: 1826-9877
DOI: 10.1007/bf02727427