{"id":"W1991636160","doi":"10.1016/s0304-3975(02)00070-1","title":"McNaughton families of languages","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Chomsky hierarchy; Rewriting; Abstract family of languages; Formal language; String (physics); Closure (psychology); Hierarchy; Recursively enumerable language; Class (philosophy); Cone (formal languages); Complexity class; Confluence; Computer science; Mathematics; Turing machine; Regular language; Language family; Context (archaeology); Automaton; Linguistics; Discrete mathematics; Theoretical computer science; Programming language; Artificial intelligence; Time complexity; Second-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.001576946,0.0006564397,0.001083433,0.003383728,0.005080114,0.004372862,0.001437139,0.00154314,0.01878689],"category_scores_gemma":[0.007107511,0.0008526776,0.001199186,0.002400671,0.004068574,0.01085064,0.002417758,0.002086971,0.001470943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002986312,"about_ca_system_score_gemma":0.001155573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002085784,"about_ca_topic_score_gemma":0.002431596,"domain_scores_codex":[0.9986857,0.0002662054,0.00007168081,0.0003774172,0.0004072447,0.0001918055],"domain_scores_gemma":[0.9942868,0.003752438,0.0002826948,0.0006715693,0.0005579672,0.0004485971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001841461,0.000004327075,0.0001070556,0.00001333967,0.000003532215,0.00005802607,0.0002112749,0.0001748793,0.0001580505,0.9958047,0.001077362,0.002369049],"study_design_scores_gemma":[0.00001701905,0.000006855194,0.0001247473,0.00001161666,0.000009077415,0.0002599748,0.00008958847,0.001450471,0.0002754387,0.9875253,0.01021631,0.00001370752],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.254829,0.005842888,0.3434739,0.01178175,0.0006421947,0.0001561583,0.001195004,0.001015448,0.3810636],"genre_scores_gemma":[0.8665454,0.00170116,0.04297402,0.001412928,0.0007073906,0.0002226974,0.0004963541,0.000217168,0.08572277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01878689,"threshold_uncertainty_score":0.06284839,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005738167963395646,"score_gpt":0.2380556544828455,"score_spread":0.2323174865194499,"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."}}