Session Myhill-Nerode
View
theory dependencies
View
document
View
outline
Theories
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Folds
Myhill_1
Myhill_2
Regular-Sets.Derivatives
Myhill
Closures
Regular-Sets.NDerivative
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
Abstract-Rewriting.Seq
Well_Quasi_Orders.Least_Enum
Well_Quasi_Orders.Infinite_Sequences
Open_Induction.Restricted_Predicates
Well_Quasi_Orders.Almost_Full
Well_Quasi_Orders.Minimal_Elements
Well_Quasi_Orders.Minimal_Bad_Sequences
Well_Quasi_Orders.Almost_Full_Relations
Well_Quasi_Orders.Well_Quasi_Orders
Closures2
Non_Regular_Languages