scispace - formally typeset
Search or ask a question
Topic

ω-automaton

About: ω-automaton is a research topic. Over the lifetime, 2299 publications have been published within this topic receiving 68468 citations. The topic is also known as: stream automaton & ω-automata.


Papers
More filters
Journal Article
TL;DR: The concept of lattice-valued finite automata is formulated, its properties and homomorphism are detailedly studied, and close link between it and the algebraic properties of lattices-ordered monoid which these automata take values are disclosed.
Abstract: The concept of lattice-valued finite automata is formulated,its properties and homomorphism are detailedly studied,and close link between it and the algebraic properties of lattice-ordered monoid which these automata take values are disclosed,and many important results are obtained

1 citations

Book ChapterDOI
01 Jan 2007
TL;DR: The equivalence of the type of Mizumoto automaton and canonical fuzzy finite automaton with single initial state and deterministic transition function is established and a method to minimize the states of automata in canonical form is presented.
Abstract: In this paper, we introduce Mizumota automata whose initial and final states are fuzzy. Furthermore, the equivalence of the type of Mizumoto automaton(MA) and canonical fuzzy finite automaton(CA) with single initial state and deterministic transition function is established. Then we present a method to minimize the states of automata in canonical form.

1 citations

Book ChapterDOI
01 Jan 1967
TL;DR: The k-multiple automata introduced in this paper are devices for the recognition (or generation) of languages rather than transducers devices providing sequential mappings of the input sequences into the output ones.
Abstract: The k-multiple automata introduced in this paper are devices for the recognition (or generation) of languages rather than transducers devices providing sequential mappings of the input sequences into the output ones. The new and most important and powerful step in the recognition procedure provided by a k-multiple automaton is that the considered string is divided into k parts of the same length. Further these parts are recognized “simultaneously” by k simple, i.e. ordinary automata, which are controlled by a single and common transition function. This is an explanation why the multiple automata can be much more powerful than the simple ones.

1 citations

Proceedings Article
01 Jan 1991

1 citations


Network Information
Related Topics (5)
Time complexity
36K papers, 879.5K citations
88% related
Data structure
28.1K papers, 608.6K citations
83% related
Model checking
16.9K papers, 451.6K citations
83% related
Approximation algorithm
23.9K papers, 654.3K citations
82% related
Petri net
25K papers, 406.9K citations
82% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20238
202219
20201
20191
20185
201748