{"id":"W2786516640","doi":"10.1142/s0129054113400133","title":"IN SEARCH OF MOST COMPLEX REGULAR LANGUAGES","year":2013,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Regular language; Combinatorics; Concatenation (mathematics); State (computer science); Quotient; Alphabet; Permutation (music); Discrete mathematics; Integer (computer science); Binary logarithm; Automaton; Algorithm; Computer science; Physics","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.001866657,0.0007884946,0.001219034,0.002279284,0.0007150092,0.003333818,0.001083364,0.0008816142,0.003002575],"category_scores_gemma":[0.0115194,0.0007697021,0.00138356,0.001988752,0.001612241,0.004411703,0.001857539,0.001303066,0.0008935669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009645471,"about_ca_system_score_gemma":0.001172531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006855727,"about_ca_topic_score_gemma":0.0007644857,"domain_scores_codex":[0.9979324,0.0005036138,0.0001505986,0.0005805328,0.0006518752,0.0001809005],"domain_scores_gemma":[0.9924743,0.004991744,0.0009450942,0.000808412,0.0005649064,0.0002155219],"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.002001089,0.0003361681,0.02072025,0.002984109,0.0004596819,0.002527007,0.002365127,0.1364291,0.04960427,0.4663493,0.00862449,0.3075994],"study_design_scores_gemma":[0.0001087758,0.0003859713,0.002437828,0.0001738336,0.000142439,0.001454511,0.000944577,0.4785227,0.01619657,0.4777402,0.02181,0.00008248621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2255992,0.001547799,0.7609836,0.0008504508,0.00006696692,0.0002515362,0.000882489,0.001278253,0.008539733],"genre_scores_gemma":[0.5550705,0.0013457,0.4327017,0.0003500005,0.0002428569,0.0004005947,0.002603388,0.000391908,0.006893323],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003333818,"threshold_uncertainty_score":0.01004463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02001200027157618,"score_gpt":0.3211004986114298,"score_spread":0.3010884983398536,"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."}}