Langlib
Langlib
.
Classes
Search
return to top
source
Imports
Init
Langlib.Classes.ContextFree.Definition
Langlib.Classes.ContextSensitive.Definition
Langlib.Classes.DeterministicContextFree.Definition
Langlib.Classes.Indexed.Definition
Langlib.Classes.Linear.Definition
Langlib.Classes.Recursive.Definition
Langlib.Classes.RecursivelyEnumerable.Definition
Langlib.Classes.Regular.Definition
Mathlib.Data.EReal.Operations
Mathlib.Topology.MetricSpace.Bounded
Langlib.Classes.ContextFree.Basics.Elementary
Langlib.Classes.ContextFree.Basics.EncodedCFG
Langlib.Classes.ContextFree.Basics.FiniteNT
Langlib.Classes.ContextFree.Basics.Lifting
Langlib.Classes.ContextFree.Basics.Ogden
Langlib.Classes.ContextFree.Basics.Pumping
Langlib.Classes.ContextFree.Basics.Splitting
Langlib.Classes.ContextFree.Closure.Bijection
Langlib.Classes.ContextFree.Closure.Complement
Langlib.Classes.ContextFree.Closure.Concatenation
Langlib.Classes.ContextFree.Closure.ConcatenationBonus
Langlib.Classes.ContextFree.Closure.ConverseFailures
Langlib.Classes.ContextFree.Closure.Homomorphism
Langlib.Classes.ContextFree.Closure.Intersection
Langlib.Classes.ContextFree.Closure.IntersectionRegular
Langlib.Classes.ContextFree.Closure.InverseHomomorphism
Langlib.Classes.ContextFree.Closure.Permutation
Langlib.Classes.ContextFree.Closure.Prefix
Langlib.Classes.ContextFree.Closure.PrefixBonus
Langlib.Classes.ContextFree.Closure.Quotient
Langlib.Classes.ContextFree.Closure.Reverse
Langlib.Classes.ContextFree.Closure.Star
Langlib.Classes.ContextFree.Closure.Substitution
Langlib.Classes.ContextFree.Closure.Suffix
Langlib.Classes.ContextFree.Closure.Union
Langlib.Classes.ContextFree.Closure.UnionBonus
Langlib.Classes.ContextFree.Closure.UnionBonus2
Langlib.Classes.ContextFree.Decidability.Characterization
Langlib.Classes.ContextFree.Decidability.Emptiness
Langlib.Classes.ContextFree.Decidability.Helper
Langlib.Classes.ContextFree.Decidability.Membership
Langlib.Classes.ContextFree.Decidability.PrimrecSatStep
Langlib.Classes.ContextFree.Decidability.UniformMembership
Langlib.Classes.ContextFree.Examples.A2nBn
Langlib.Classes.ContextFree.Examples.A2nBnPos
Langlib.Classes.ContextFree.Examples.A2nBnPosStar
Langlib.Classes.ContextFree.Examples.AnBmCm
Langlib.Classes.ContextFree.Examples.AnBn
Langlib.Classes.ContextFree.Examples.AnBnCm
Langlib.Classes.ContextFree.Examples.AnBnCn
Langlib.Classes.ContextFree.Examples.AnBnCnPos
Langlib.Classes.ContextFree.Examples.BnAn
Langlib.Classes.ContextFree.Examples.BnAnPos
Langlib.Classes.ContextFree.Examples.BnAnPosStarB
Langlib.Classes.ContextFree.Examples.L4
Langlib.Classes.ContextFree.Examples.SingletonWord
Langlib.Classes.ContextFree.Examples.UnaryA2PowSucc
Langlib.Classes.ContextFree.Inclusion.ContextSensitive
Langlib.Classes.ContextFree.Inclusion.Indexed
Langlib.Classes.ContextFree.Inclusion.Recursive
Langlib.Classes.ContextFree.Inclusion.RecursivelyEnumerable
Langlib.Classes.ContextFree.Inclusion.StrictContextSensitive
Langlib.Classes.ContextFree.Inclusion.StrictIndexed
Langlib.Classes.ContextFree.Inclusion.StrictRecursivelyEnumerable
Langlib.Classes.ContextFree.NormalForms.ChomskyNormalForm
Langlib.Classes.ContextFree.NormalForms.ChomskyNormalFormTranslation
Langlib.Classes.ContextFree.Pumping.ChomskyCountingSteps
Langlib.Classes.ContextFree.Pumping.CountingSteps
Langlib.Classes.ContextFree.Pumping.EpsilonElimination
Langlib.Classes.ContextFree.Pumping.LengthRestriction
Langlib.Classes.ContextFree.Pumping.ParseTree
Langlib.Classes.ContextFree.Pumping.Pumping
Langlib.Classes.ContextFree.Pumping.TerminalRestriction
Langlib.Classes.ContextFree.Pumping.UnitElimination
Langlib.Classes.ContextFree.Pumping.Utils
Langlib.Classes.ContextFree.Pumping.toMathlib
Langlib.Classes.ContextSensitive.Basics.NonContracting
Langlib.Classes.ContextSensitive.Closure.Bijection
Langlib.Classes.ContextSensitive.Closure.Concatenation
Langlib.Classes.ContextSensitive.Closure.EmptyWord
Langlib.Classes.ContextSensitive.Closure.EpsFreeHomomorphism
Langlib.Classes.ContextSensitive.Closure.Reverse
Langlib.Classes.ContextSensitive.Closure.Union
Langlib.Classes.ContextSensitive.Decidability.Characterization
Langlib.Classes.ContextSensitive.Decidability.Membership
Langlib.Classes.ContextSensitive.Examples.AnBnCn
Langlib.Classes.ContextSensitive.Examples.SingletonWord
Langlib.Classes.ContextSensitive.Inclusion.Recursive
Langlib.Classes.ContextSensitive.Inclusion.RecursivelyEnumerable
Langlib.Classes.ContextSensitive.Inclusion.StrictRecursive
Langlib.Classes.DeterministicContextFree.Closure.Bijection
Langlib.Classes.DeterministicContextFree.Closure.Complement
Langlib.Classes.DeterministicContextFree.Closure.Concatenation
Langlib.Classes.DeterministicContextFree.Closure.Homomorphism
Langlib.Classes.DeterministicContextFree.Closure.Intersection
Langlib.Classes.DeterministicContextFree.Closure.IntersectionRegular
Langlib.Classes.DeterministicContextFree.Closure.Quotient
Langlib.Classes.DeterministicContextFree.Closure.Star
Langlib.Classes.DeterministicContextFree.Closure.Substitution
Langlib.Classes.DeterministicContextFree.Closure.Union
Langlib.Classes.DeterministicContextFree.Closure.UnionRegular
Langlib.Classes.DeterministicContextFree.Examples.A2nBnPosStar
Langlib.Classes.DeterministicContextFree.Examples.AbcPositive
Langlib.Classes.DeterministicContextFree.Examples.AbcStack
Langlib.Classes.DeterministicContextFree.Examples.AnBmCm
Langlib.Classes.DeterministicContextFree.Examples.AnBn
Langlib.Classes.DeterministicContextFree.Examples.AnBnCm
Langlib.Classes.DeterministicContextFree.Examples.AnBnCn
Langlib.Classes.DeterministicContextFree.Examples.BnAnPosStarB
Langlib.Classes.DeterministicContextFree.Examples.SingletonWord
Langlib.Classes.DeterministicContextFree.Inclusion.ContextFree
Langlib.Classes.DeterministicContextFree.Inclusion.StrictContextFree
Langlib.Classes.Indexed.Closure.Concatenation
Langlib.Classes.Indexed.Closure.Homomorphism
Langlib.Classes.Indexed.Closure.Injection
Langlib.Classes.Indexed.Closure.Reverse
Langlib.Classes.Indexed.Closure.Union
Langlib.Classes.Indexed.Examples.AnBnCn
Langlib.Classes.Indexed.Examples.SingletonWord
Langlib.Classes.LR.Closure.Bijection
Langlib.Classes.LR.Examples.AnBn
Langlib.Classes.Linear.Basics.Map
Langlib.Classes.Linear.Closure.Concatenation
Langlib.Classes.Linear.Examples.AnBn
Langlib.Classes.Linear.Examples.L4
Langlib.Classes.Linear.Examples.SingletonWord
Langlib.Classes.Linear.Inclusion.ContextFree
Langlib.Classes.Linear.Inclusion.RecursivelyEnumerable
Langlib.Classes.Linear.Inclusion.StrictContextFree
Langlib.Classes.Linear.Pumping.Pumping
Langlib.Classes.Linear.Pumping.Spine
Langlib.Classes.Recursive.Basics.Elementary
Langlib.Classes.Recursive.Basics.Post
Langlib.Classes.Recursive.Closure.Complement
Langlib.Classes.Recursive.Closure.Concatenation
Langlib.Classes.Recursive.Closure.EpsFreeHomomorphism
Langlib.Classes.Recursive.Closure.Homomorphism
Langlib.Classes.Recursive.Closure.Intersection
Langlib.Classes.Recursive.Closure.IntersectionRegular
Langlib.Classes.Recursive.Closure.InverseHomomorphism
Langlib.Classes.Recursive.Closure.Quotient
Langlib.Classes.Recursive.Closure.QuotientRegular
Langlib.Classes.Recursive.Closure.Reverse
Langlib.Classes.Recursive.Closure.Star
Langlib.Classes.Recursive.Closure.Substitution
Langlib.Classes.Recursive.Closure.Union
Langlib.Classes.Recursive.Decidability.Membership
Langlib.Classes.Recursive.Examples.SingletonWord
Langlib.Classes.Recursive.Inclusion.ByTapeFromComputable
Langlib.Classes.Recursive.Inclusion.RecursivelyEnumerable
Langlib.Classes.Recursive.Inclusion.StrictRecursivelyEnumerable
Langlib.Classes.RecursivelyEnumerable.Basics.Lifting
Langlib.Classes.RecursivelyEnumerable.Closure.Bijection
Langlib.Classes.RecursivelyEnumerable.Closure.Complement
Langlib.Classes.RecursivelyEnumerable.Closure.Concatenation
Langlib.Classes.RecursivelyEnumerable.Closure.Homomorphism
Langlib.Classes.RecursivelyEnumerable.Closure.Intersection
Langlib.Classes.RecursivelyEnumerable.Closure.InverseHomomorphism
Langlib.Classes.RecursivelyEnumerable.Closure.Quotient
Langlib.Classes.RecursivelyEnumerable.Closure.Reverse
Langlib.Classes.RecursivelyEnumerable.Closure.Star
Langlib.Classes.RecursivelyEnumerable.Closure.Substitution
Langlib.Classes.RecursivelyEnumerable.Closure.Union
Langlib.Classes.RecursivelyEnumerable.Decidability.Emptiness
Langlib.Classes.RecursivelyEnumerable.Decidability.Equivalence
Langlib.Classes.RecursivelyEnumerable.Decidability.Helper
Langlib.Classes.RecursivelyEnumerable.Decidability.Membership
Langlib.Classes.RecursivelyEnumerable.Decidability.Universality
Langlib.Classes.RecursivelyEnumerable.Examples.AnBnCn
Langlib.Classes.RecursivelyEnumerable.Examples.EmptyWord
Langlib.Classes.RecursivelyEnumerable.Examples.Halting
Langlib.Classes.RecursivelyEnumerable.Examples.NonHalting
Langlib.Classes.RecursivelyEnumerable.Examples.SingletonWord
Langlib.Classes.RecursivelyEnumerable.NormalForms.Kuroda
Langlib.Classes.Regular.Basics.NonRegular
Langlib.Classes.Regular.Closure.Bijection
Langlib.Classes.Regular.Closure.Complement
Langlib.Classes.Regular.Closure.Concatenation
Langlib.Classes.Regular.Closure.Homomorphism
Langlib.Classes.Regular.Closure.Intersection
Langlib.Classes.Regular.Closure.InverseHomomorphism
Langlib.Classes.Regular.Closure.Prefix
Langlib.Classes.Regular.Closure.Quotient
Langlib.Classes.Regular.Closure.Reverse
Langlib.Classes.Regular.Closure.Star
Langlib.Classes.Regular.Closure.Substitution
Langlib.Classes.Regular.Closure.Suffix
Langlib.Classes.Regular.Closure.Union
Langlib.Classes.Regular.Decidability.Characterization
Langlib.Classes.Regular.Decidability.Emptiness
Langlib.Classes.Regular.Decidability.Equivalence
Langlib.Classes.Regular.Decidability.Helper
Langlib.Classes.Regular.Decidability.Membership
Langlib.Classes.Regular.Decidability.Universality
Langlib.Classes.Regular.Examples.AnBn
Langlib.Classes.Regular.Examples.EmptyWord
Langlib.Classes.Regular.Examples.SingletonWord
Langlib.Classes.Regular.Examples.TopBot
Langlib.Classes.Regular.Inclusion.ContextFree
Langlib.Classes.Regular.Inclusion.DeterministicContextFree
Langlib.Classes.Regular.Inclusion.LR
Langlib.Classes.Regular.Inclusion.Linear
Langlib.Classes.Regular.Inclusion.Recursive
Langlib.Classes.Regular.Inclusion.RecursivelyEnumerable
Langlib.Classes.Regular.Inclusion.StrictContextFree
Langlib.Classes.Regular.Inclusion.StrictDeterministicContextFree
Langlib.Classes.Regular.Inclusion.StrictLR
Langlib.Classes.Regular.Inclusion.StrictLinear
Mathlib.Data.Sym.Sym2.Init
Langlib.Classes.ContextFree.Closure.Substitution.Core
Langlib.Classes.ContextFree.Closure.Substitution.Support
Langlib.Classes.RecursivelyEnumerable.Closure.Star.Helpers
Imported by
Langlib Language Classes
#
This file is the import hub for the langlib language classes.
Main declarations
#
Imports the regular, context-free, indexed, recursive, recursively enumerable, and context-sensitive language-class developments.