ConvertRLRE
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
RegularGrammar
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
NFAToRE
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
RightLinearRG
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
STA
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
ClosureConcept
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
ClosureRegularLang
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
RegularLangClosedUnder
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
INRL
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
Ambiguity
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
AmbiguityExample
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
AmbiguitySecond
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
AmbiguityExample2
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
PDA
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMGeneralModel
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMInterpreting
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMDecidableVSAcceptable
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMComplicatedMachine1
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMComplicatedMachine2
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
TMComplicatedMachine3
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|
PairToSortCONPI
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
,
|
LowerBound
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
,
|
TwoMulExample
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
,
|
TravelSalesman
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
,
|
KClique
|
|
Short Description...
|
OpenDSA |
,
,
,
,
,
|