{"id":"W2015360324","doi":"10.2168/lmcs-3(1:4)2007","title":"Logic Meets Algebra: the Case of Regular Languages","year":2007,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Regular language; Automaton; Complement (music); Computer science; Algebraic number; Monoid; Formalism (music); Mathematics; Formal language; Discrete mathematics; Automata theory; Algebra over a field; Algebraic theory; Theoretical computer science; Algorithm; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.01401075,0.0001632119,0.0002689919,0.0002206949,0.0002056897,0.00014375,0.002927926,0.00007724176,0.00001108467],"category_scores_gemma":[0.0004058112,0.00009457077,0.00008142734,0.002149507,0.001005919,0.0003916461,0.001407548,0.0002394684,0.000005221274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004153529,"about_ca_system_score_gemma":0.00004246497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004544073,"about_ca_topic_score_gemma":0.000009237301,"domain_scores_codex":[0.9974781,0.0005197633,0.000443652,0.0006688889,0.0003383188,0.0005512591],"domain_scores_gemma":[0.9964061,0.002137196,0.0001541322,0.001084776,0.00009305026,0.0001247492],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002021622,0.00004611862,0.00005047228,0.000004563918,0.0000017365,0.0008022348,0.0003877362,0.0001384663,0.004307911,0.433153,0.00001236164,0.5610934],"study_design_scores_gemma":[0.0003764509,0.0003290881,0.01431297,0.00005789703,0.00000598833,0.003426988,0.0002006044,0.403972,0.05858261,0.517882,0.0004167466,0.0004365784],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05067201,0.0003745923,0.9466478,0.0007578526,0.0004884811,0.0001415712,4.085236e-7,0.0001047884,0.0008124617],"genre_scores_gemma":[0.4096119,0.000003722638,0.5896401,0.0006847001,0.00004993792,0.000002222941,5.349799e-8,0.000002428144,0.000004935421],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5606568,"threshold_uncertainty_score":0.5440863,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04414340357003216,"score_gpt":0.3956531001013638,"score_spread":0.3515096965313316,"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."}}