{"id":"W1485181793","doi":"10.1017/cbo9780511808876","title":"A Second Course in Formal Languages and Automata Theory","year":2008,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"semigroups and automata theory","field":"Computer Science","cited_by":206,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Formal language; Abstract family of languages; Computer science; Lemma (botany); Parsing; Automaton; Context-free language; Automata theory; Chomsky hierarchy; Pumping lemma for regular languages; Context (archaeology); Programming language; Course (navigation); Turing machine; Second-generation programming language; Artificial intelligence; Computation; Rule-based machine translation; Fifth-generation programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002725776,0.0009195002,0.0009684869,0.001248196,0.0008561042,0.002757223,0.0007363917,0.0009378296,0.1463011],"category_scores_gemma":[0.001152461,0.0004468356,0.0009185323,0.001429622,0.0007008374,0.002909156,0.0009232576,0.00315149,0.07048532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00151048,"about_ca_system_score_gemma":0.001251533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009571056,"about_ca_topic_score_gemma":0.002255444,"domain_scores_codex":[0.9996803,0.00002976771,0.000010976,0.00007654337,0.0001701037,0.00003240698],"domain_scores_gemma":[0.999468,0.0002089425,0.00002367541,0.00006536331,0.0001536271,0.00008036803],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002069267,0.000049731,0.0001568246,0.0002398793,0.000008840514,0.0001428839,0.0003593474,0.0007888785,0.001639584,0.08179349,0.7358274,0.1789724],"study_design_scores_gemma":[0.000003177939,0.00001383645,0.0001898795,0.00008276728,0.000002457708,0.0001693902,0.0000403011,0.0003409672,0.0002457141,0.01684721,0.9820597,0.000004635911],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001859431,0.01051722,0.04027123,0.006502252,0.008753312,0.0001175526,0.001706652,0.002440905,0.9278315],"genre_scores_gemma":[0.005279153,0.003483345,0.007660087,0.001390743,0.0007894754,0.00006670648,0.001065766,0.0004971401,0.9797677],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1463011,"threshold_uncertainty_score":0.4894261,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008768383314324668,"score_gpt":0.202186131174794,"score_spread":0.1934177478604693,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}