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.
Universal turing machineTuring testComputer programmingComputerComputational theory of mindAutomata-based programmingDeterministic finite automatonType systemHistory of compiler constructionAlgorithmically random sequenceComplex instruction set computerCompiler-compilerPolyglotComputer algebra systemExecutableComposite data typeOutline of computer scienceCompilerInformation-theoretic securityComputational intelligenceSystem virtual machinePurely functional programmingBinary-code compatibilitySymbolic artificial intelligenceProgramming language theoryProgramming languageInstruction set simulatorKolmogorov complexitySyntaxRegister machineDynamic programming languageProcessorMachine codeRecursive data typeConstraint programmingProcedural generationAnalysis of algorithmsDigital electronic computerRule-based machine learningIntrinsic functionNeural network softwareIntelligent controlTuring machine equivalentsProgram synthesisSpecification languageArtificial general intelligenceProgrammable calculatorMechanical calculatorExtensible programmingLinear bounded automatonMachine-readable mediumQuantum programmingComputational complexityLanguage interoperabilityComputational linguisticsAction languageEvolutionary computationAnalog computerComputational learning theoryAnalysis of parallel algorithmsCognitive computerData typeProgramming gameIntelligent agentQuantum supremacyCompiled languageHoare logicCompile-time function executionDeterministic algorithmCross-platform softwareOperational semanticsLogic synthesisMacroRobotInteractive proof systemCognitive architectureSymbol tableConsistency modelHigh-level synthesisExecute instructionFunctional programmingInformation processorMachine ethicsOpen platformIpo modelHistory of softwareJava virtual machineAcl2Thompson's constructionCyber-physical systemFirst-class functionProgramming language specificationOntologyParallel programming modelComputer literacyStream processingComputer programData-driven programmingSoftware systemArtificial neural network