{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009455902,0.00007050746,0.0001668949,0.0006315371,0.00003926563,0.0001881515,0.003056004,0.00001902721,0.00007609857],"category_scores_gemma":[0.00007994068,0.00006078355,0.00006137758,0.000758235,0.0003704451,0.002313855,0.0004061298,0.00009921287,0.00001036078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006472368,"about_ca_system_score_gemma":0.0002948848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000110827,"about_ca_topic_score_gemma":0.000002991134,"domain_scores_codex":[0.9981487,0.00004965871,0.0005648053,0.000145916,0.0009491352,0.0001417357],"domain_scores_gemma":[0.997526,0.0001698909,0.0003758504,0.0002792968,0.00158718,0.0000617874],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001754108,0.0006864331,0.006036578,0.0000263109,0.00009491568,0.00005638964,0.003591978,0.01068631,0.1620249,0.506346,0.002230338,0.3082024],"study_design_scores_gemma":[0.001464413,0.0004218086,0.2420136,0.000346461,0.000006511012,0.0005132818,0.0002894202,0.633272,0.06449486,0.05578048,0.001096761,0.0003003974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4225866,0.00003431498,0.573899,0.002458834,0.0005802387,0.00005927449,0.0000018453,0.000006837909,0.0003730448],"genre_scores_gemma":[0.8389134,0.000009175461,0.1608174,0.000160094,0.00008009828,7.753796e-7,6.601872e-7,0.0000021984,0.00001611271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6225857,"threshold_uncertainty_score":0.5678866,"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."}}