computability
Từ liên quan
undecidabilityalgorithmcomputationcomputerlogicmathematicsturing machinedecidabilityrecursivefunctioncomplexityhalting problemlambda calculusautomatonstatesymboltapeinstructionprogramsoftwarehardwarediscretefiniteinfinitecountableuncountablesetmappingoperatoraxiomtheoremproofderivationoraclereductionpolynomialexponentialefficiencytractabilityintractabilitydeterminismnondeterminismsimulationexecutionprocessinputoutputvariableconstantrecursioniterationloopbranchinglogic gatebooleanbinarydigitbitbytearchitecturecompilerinterpreterlanguagesyntaxsemanticscomputablecalculatecomputeevaluatesolveverify