introductiontoth00sips
AlgorithmBPP (complexity)Chomsky normal formComputabilityContext-free grammarContext-free languageDeterministic finite automatonEXPSPACEInteractive proof systemKolmogorov complexityL (complexity)NP (complexity)Noam_ChomskyOne-way functionPSPACEPumping lemma for context-free languagesPushdown automatonSpace hierarchy theoremTime hierarchy theoremTuring machine