{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001767649,0.0003365799,0.0006740331,0.001272958,0.002026925,0.00515999,0.001100041,0.001705685,0.00604596],"category_scores_gemma":[0.00576418,0.0004544218,0.001179886,0.001344873,0.006757367,0.01332671,0.002317221,0.002199505,0.0009175941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001250419,"about_ca_system_score_gemma":0.0007536451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001001426,"about_ca_topic_score_gemma":0.0005859109,"domain_scores_codex":[0.9977444,0.0005906092,0.0001664545,0.0005446909,0.0006875137,0.0002664234],"domain_scores_gemma":[0.996866,0.001894068,0.0003124291,0.0004146492,0.0002680612,0.0002446584],"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.000007296448,0.000002970677,0.00005738761,0.00001574814,0.000001889535,0.00005912984,0.0001408784,0.0002679847,0.0002104484,0.9978739,0.0001723372,0.001189967],"study_design_scores_gemma":[0.00000566221,0.000006494505,0.00003298842,0.000006034949,0.00000311819,0.0001228468,0.00007584809,0.002693558,0.0002281206,0.993687,0.003133942,0.000004381864],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.261099,0.007164527,0.4561683,0.01363293,0.0004897428,0.0001443346,0.0005929868,0.0006079889,0.2601001],"genre_scores_gemma":[0.9264912,0.001668588,0.05516498,0.0006327475,0.0006288121,0.0001624717,0.0001947451,0.0000984923,0.01495806],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00604596,"threshold_uncertainty_score":0.02022576,"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."}}