MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Context-free grammarParsing expression grammarGenerative grammarTransformational grammarGrammarCombinatory logicCategorial grammarLogical formIntensional logicContext-sensitive languageSymbolic logicString substitutionRegular grammarParsingSyntaxFunctional discourse grammarChomsky normal formGrammatical constructionPropositional logicGrammaticalitySemantic parsingParse treeComputational semanticsFormal grammarMorphological parsingFormal languageMarkov algorithmFunctional calculusConstraint logic programmingConcatenative programming languageRegular expressionComputational linguisticsAbstract algebraic logicChomsky hierarchyLanguage constructProbabilistic context-free grammarParser combinatorPattern languageAlgebraic data typeFormalismLl grammarFormal systemPrimitive recursive arithmeticPredicate logicStructured program theoremConstraint programmingOptimality theoryCategorificationSyntactic monoidFirst-order logicMorpho-syntaxModal logicTheoremConstructive set theoryPhonemic orthographySet-builder notationFormal concept analysisList comprehensionPower-associative algebraContext-sensitive grammarLambda calculus definitionProlog syntax and semanticsLanguagePropositional formulaPropositional functionAlgebraic groupBoolean logicExpressionMulticategoryAlternative algebraLie algebraMathematical semanticsFormulaOutline of combinatoricsParametric polymorphismTrue quantified boolean formulaLogicStrengthSemigroupInductive logic programmingElementary toposGeneration of primesBoolean circuitProbabilistic programmingAgglutinationAlgebraic logicQueryDenotational semanticsLalr parserSanskrit nominalsMetasyntaxNatural isomorphismLanguage engineeringCoordinationAntisymmetryTerminal and nonterminal symbolsComplexity classPattern theoryCooperative principleFeatural writing system