{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001402901,0.0001330659,0.0001901398,0.0001742817,0.0001601877,0.0001380029,0.00188389,0.00003570651,0.00005570471],"category_scores_gemma":[0.0001318304,0.0001019428,0.00005975131,0.001054357,0.002176844,0.0004651704,0.0004307133,0.0001006655,0.00004177751],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001905356,"about_ca_system_score_gemma":0.00008772055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003036348,"about_ca_topic_score_gemma":1.989167e-7,"domain_scores_codex":[0.9982944,0.0001142566,0.0002299715,0.0004516608,0.0005112868,0.0003984313],"domain_scores_gemma":[0.998621,0.0002420234,0.00006507811,0.0008221961,0.0001123902,0.0001372381],"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.000001191818,0.00003735613,0.00006336941,0.000005969165,0.000002036888,0.000005456909,0.0003758402,0.00002315268,0.002951535,0.975213,0.00002742877,0.02129368],"study_design_scores_gemma":[0.0003183713,0.0002518301,0.001312438,0.00004908321,0.000005251039,0.0000772784,0.00009330523,0.1116998,0.2191929,0.665951,0.000682099,0.0003667389],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1165645,0.00008055004,0.860915,0.0001644143,0.0003113648,0.00007081626,9.651942e-7,0.0001504072,0.02174197],"genre_scores_gemma":[0.8498205,0.000006229848,0.1498697,0.0002600861,0.00002505811,0.000001880392,1.745504e-7,0.000004304495,0.00001211017],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.733256,"threshold_uncertainty_score":0.8020671,"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."}}