Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Quotient automaton

In computer science, in particular in formal language theory, a quotient automaton can be obtained from a given nondeterministic finite automaton by… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
est generation has been acknowledged as a cost-prone activity reducing productivity and time to market. Theexpected benefits of… Expand
  • figure 1
  • figure 2
  • figure 6
  • figure 3
  • figure 4
2014
2014
We study the complexity of basic regular operations on languages represented by incomplete deter-ministic or nondeterministic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2014
Review
2014
In this paper we consider the computation of indistinguishable state pairs of nondeterministic finite automata where some… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
2014
2014
This paper presents a contribution to minimization of intuitionistic fuzzy automata. In this paper the concept of substitution… Expand
2013
2013
We present a formal constructive theory of regular languages consisting of about 1400 lines of Coq/Ssreflect. As representations… Expand
2005
2005
ZusammenfassungJeder UntergruppeH der Automorphismengruppe eines Automaten kann der Quotientenautomat nachH zugeordnet werden… Expand
2002
2002
In this paper the concept of substitution property (SP) partition for a finite fuzzy automaton is formulated, and the quotient… Expand
1998
1998
In this paper we investigate a method to exploit the symmetry inherent to many systems in order to reduce the computational… Expand
  • figure 7
1997
1997
At first, we define the concept of quantified abstract quotient automaton (which concerns state graphs with qualitative and… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 6
1994
1994
In [2], we proposed a verification by abstraction approach for protocol specifications written in Estelle*, an enhanced Estelle… Expand