data: Z-Automata
Added: - Nondeterministic Z-Automaton [1] - ArcFactored Deterministic Z-Automaton [1] - ArcFactored Nondeterministic Z-Automaton [1] [1] Johanna Björklund, Frank Drewes, Giorgio Satta: Z-Automata for Compact and Direct Representation of Unranked Tree Languages https://doi.org/10.1007/978-3-030-23679-3_7 Co-authored-by:Tomáš Pecka <tomas.pecka@fit.cvut.cz>
Showing
- alib2data/src/automaton/TA/ArcFactoredDeterministicZAutomaton.cpp 11 additions, 0 deletions...a/src/automaton/TA/ArcFactoredDeterministicZAutomaton.cpp
- alib2data/src/automaton/TA/ArcFactoredDeterministicZAutomaton.h 619 additions, 0 deletions...ata/src/automaton/TA/ArcFactoredDeterministicZAutomaton.h
- alib2data/src/automaton/TA/ArcFactoredNondeterministicZAutomaton.cpp 11 additions, 0 deletions...rc/automaton/TA/ArcFactoredNondeterministicZAutomaton.cpp
- alib2data/src/automaton/TA/ArcFactoredNondeterministicZAutomaton.h 618 additions, 0 deletions.../src/automaton/TA/ArcFactoredNondeterministicZAutomaton.h
- alib2data/src/automaton/TA/NondeterministicZAutomaton.cpp 11 additions, 0 deletionsalib2data/src/automaton/TA/NondeterministicZAutomaton.cpp
- alib2data/src/automaton/TA/NondeterministicZAutomaton.h 595 additions, 0 deletionsalib2data/src/automaton/TA/NondeterministicZAutomaton.h
- alib2data/src/automaton/xml/TA/NondeterministicZAutomaton.cpp 13 additions, 0 deletions...2data/src/automaton/xml/TA/NondeterministicZAutomaton.cpp
- alib2data/src/automaton/xml/TA/NondeterministicZAutomaton.h 144 additions, 0 deletionsalib2data/src/automaton/xml/TA/NondeterministicZAutomaton.h
- alib2data/test-src/automaton/AutomatonTest.cpp 1 addition, 0 deletionsalib2data/test-src/automaton/AutomatonTest.cpp
- alib2data/test-src/automaton/ZAutomatonTest.cpp 128 additions, 0 deletionsalib2data/test-src/automaton/ZAutomatonTest.cpp
- examples2/automaton/ZAutomaton1.xml 1283 additions, 0 deletionsexamples2/automaton/ZAutomaton1.xml
- examples2/automaton/ZAutomaton2.xml 409 additions, 0 deletionsexamples2/automaton/ZAutomaton2.xml
Loading
Please register or sign in to comment