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.
Formal grammarLeft recursionContext-free grammarContext-sensitive languageContext-sensitive grammarAmbiguous grammarGreibach normal formContext-free languageRegular grammarParse treeRegular languageRecursive languageGrammatical constructionFormal proofLogical formRule of inferenceGrammarTransformational grammarCombinatory categorial grammarFormal scienceFirst-order logicFormal languageLambda calculusSemantics of logicGrammar inductionSyntaxSentence clause structureGrammatical conjugationType theoryChomsky normal formInductive logic programmingGrammatical relationResolutionPattern languageLeast fixed pointModel of computationChomsky hierarchySet-builder notationFormal concept analysisLemmatisationLie algebra representationOperator associativityLexicographic orderPrinciples and parametersFunctional linguisticsMorphological parsingHead-directionality parameterAnalytic languageMethod of analytic tableauxComparative methodAbsolutive caseLatent semantic analysisFormal verificationDenotational semanticsNatural deductionRecursively enumerable languageSyllogismBoolean satisfiability problemGenerative grammarGrammaticalityType constructorTyped lambda calculusProbabilistic context-free grammarLinguistic typologyFunctional analysisAlphabetLinear differential equationModel theoryMaximum satisfiability problemAxiomatic systemDefinitenessComplementizerSequence of tensesNl-completeFlow-sensitive typingPrinciple of compositionalitySubstringLanguage acquisitionLatin syntaxCategorial grammarAlgorithmic information theoryTheory of computationMetavariableErgative caseFusional languageProbability-generating functionInformation structureLog-linear modelStemmingPowerset constructionKleene's algorithmStructural linguisticsNoetherian ringGrammatical casePhonemic orthographyHorn clauseComputable setGrammatical categorySecond-order logicLocutionary act