{"id":"W1997591489","doi":"10.1016/j.ic.2014.08.005","title":"Conservative groupoids recognize only regular languages","year":2014,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval; Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Class (philosophy); Mathematics; Double groupoid; Hierarchy; Semigroup; Associative property; Regular language; Property (philosophy); Context (archaeology); Conservative extension; Pure mathematics; Algebra over a field; Computer science; Discrete mathematics; Theoretical computer science; Artificial intelligence; Automaton","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.0006270356,0.0006392265,0.001041313,0.0006498329,0.001074411,0.003213373,0.0008336886,0.001316795,0.005626137],"category_scores_gemma":[0.003470636,0.0005071684,0.0007777854,0.0004687296,0.002191839,0.005818751,0.001729411,0.001461387,0.002750905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006224369,"about_ca_system_score_gemma":0.0007502954,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005480019,"about_ca_topic_score_gemma":0.000694642,"domain_scores_codex":[0.99906,0.0001411455,0.00006835331,0.0003367803,0.0001910797,0.000202723],"domain_scores_gemma":[0.995124,0.002337557,0.0003995095,0.001326027,0.0005094711,0.0003033083],"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.001078957,0.0002270605,0.004787416,0.0003716044,0.00006233721,0.0008444507,0.006107574,0.00399103,0.1211054,0.7698134,0.007089422,0.08452135],"study_design_scores_gemma":[0.00005811575,0.0001685935,0.0008507604,0.00004782509,0.00005075587,0.0004348745,0.001465455,0.01521349,0.06531334,0.9054515,0.01087087,0.00007444929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5733172,0.0003313123,0.3849023,0.0006666578,0.0004992753,0.0002135796,0.0004504614,0.004780466,0.03483878],"genre_scores_gemma":[0.9525654,0.00009022732,0.03198397,0.0002297017,0.00008924463,0.0001114707,0.0005334361,0.000431557,0.01396509],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005626137,"threshold_uncertainty_score":0.0188213,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006634479812632228,"score_gpt":0.2306338532912243,"score_spread":0.2239993734785921,"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."}}