automata

Type Members

1. trait AtomicStateAutomaton extends Automaton

   

   Trait for automata with atomic/nominal states; i.e., states don't have any structure and are not composite, there is a unique initial state, and a set of accepting states.

2. abstract class AtomicStateAutomatonAdapter[A <: AtomicStateAutomaton] extends AtomicStateAutomaton

   

3. trait AtomicStateAutomatonBuilder[State, TLabel] extends AnyRef

   

4. class AutDatabase extends AnyRef

   

   A database to store the automata or transducers obtained from regular expressions.

   A database to store the automata or transducers obtained from regular expressions. The database will assign a unique id to regular expressions, and will compute the resulting automaton on demand.

5. trait Automaton extends AnyRef

   

   Interface for different implementations of finite-state automata.

6. class Box[A <: AtomicStateAutomaton] extends AnyRef

   

   Box in a Caley graph [w] = { (q,q') | q -- w --> q' }

7. class BricsAutomaton extends AtomicStateAutomaton

   

   Wrapper for the BRICS automaton class

8. class BricsAutomatonBuilder extends AtomicStateAutomatonBuilder[State, (Char, Char)]

   

   For constructing manually (immutable) BricsAutomaton objects

9. class BricsPrioTransducer extends Transducer

   

   Implementation of prioritised transducers as automata with input and output states.

   Implementation of prioritised transducers as automata with input and output states. That is, from an input state, all transitions read a character from input. From an output state, all transitions produce a character of output, and the transitions have priorities. The class mostly resembles BricsTransducer.

10. class BricsPrioTransducerBuilder extends TransducerBuilder[State, (Char, Char)]

    

11. class BricsTLabelEnumerator extends TLabelEnumerator[(Char, Char)]

    

12. class BricsTransducer extends Transducer

    

    Implementation of transducers as automata with input and output states.

    Implementation of transducers as automata with input and output states. That is, from an input state, all transitions read a character from input. From an output state, all transitions produce a character of output

13. class BricsTransducerBuilder extends TransducerBuilder[State, (Char, Char)]

    

14. class CaleyGraph[A <: AtomicStateAutomaton] extends AnyRef

    

    Representation of CaleyGraph corresponding to aut with given nodes.

    Representation of CaleyGraph corresponding to aut with given nodes. Can be constructed by companion object Graphs are considered equal by nodes, regardless of aut

15. case class ConcatAutomaton(aut1: AtomicStateAutomaton, aut2: AtomicStateAutomaton) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of AutomataUtils.reverse

16. class JavascriptPrioAutomatonBuilder extends PrioAutomatonBuilder

    

17. case class NestedAutomaton(inner: AtomicStateAutomaton, a: Char, outer: AtomicStateAutomaton) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of one automaton inserted into another to replace a-transitions.

    Case class representation of one automaton inserted into another to replace a-transitions. See AutomatonUtils.nestAutomata.

18. case class PostImageAutomaton[A <: AtomicStateAutomaton](inAut: A, tran: Transducer, internalAut: Option[A] = None) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of tran.preImage(aut, internalAut)

19. case class PreImageAutomaton[A <: AtomicStateAutomaton](tran: Transducer, targ: A, internal: Iterable[(A.State, A.State)]) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of tran.preImage(aut, internal)

20. case class PrioAutomaton(sTran: Map[State, Seq[SigmaTransition]], preTran: Map[State, Seq[ETransition]], postTran: Map[State, Seq[ETransition]], initial: State, accepting: (Set[State], Set[State])) extends Product with Serializable

    

21. abstract class PrioAutomatonBuilder extends AnyRef

    

22. class PrioStreamingTransducer extends StreamingTransducer

    

    Implementation of prioritised streaming transducers.

    Implementation of prioritised streaming transducers. All transitions have priority. A state is associated with three groups of transitions: pre epsilon, sigma, and post epsilon, with descending priority. 'numvars' is the number of string variables, which are internally labeled by indexes 0 ... (numvars - 1). Note that PSST is intrinsically functional (but not necessarily total), on the condition that there is no epsilon-circle (this property is not checked on transducer level).

23. class PrioStreamingTransducerBuilder extends StreamingTransducerBuilder[State, AnchoredLabel]

    

24. class PythonPrioAutomatonBuilder extends PrioAutomatonBuilder

    

25. class Regex2Aut extends AnyRef

    

26. class Regex2PFA extends AnyRef

    

27. case class ReplaceCharAutomaton[A <: AtomicStateAutomaton](aut: A, a: Char, newTrans: Iterable[(A.State, A.State)]) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of AutomataUtils.replaceTransitions

28. case class ReverseAutomaton(aut: AtomicStateAutomaton) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of AutomataUtils.reverse

29. trait StreamingTransducer extends AnyRef

    

30. trait StreamingTransducerBuilder[S, T] extends AnyRef

    

31. trait TLabelEnumerator[TLabel] extends AnyRef

    

    A label enumerator is used to enumerate labels appearing in an automaton and derived label sets

32. trait TLabelOps[TLabel] extends AnyRef

    

33. trait Transducer extends AnyRef

    

34. trait TransducerBuilder[State, TLabel] extends AnyRef

    

35. case class _InitFinalAutomaton[A <: AtomicStateAutomaton](_underlying: A, _initialState: A.State, _acceptingStates: Set[A.State]) extends AtomicStateAutomatonAdapter[A] with Product with Serializable

    

    Representation of automaton with initial and final states changed

    Representation of automaton with initial and final states changed

    See InitFinalAutomaton for building

36. case class _ProductAutomaton(auts: Seq[AtomicStateAutomaton]) extends AtomicStateAutomatonAdapter[AtomicStateAutomaton] with Product with Serializable

    

    Case class representation of AutomataUtils.product, see ProductAutomaton