{"id":"W2951629521","doi":"10.1142/s0129054119400239","title":"Most Complex Non-Returning Regular Languages","year":2019,"lang":"en","type":"preprint","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Concatenation (mathematics); Upper and lower bounds; Regular language; State (computer science); Semigroup; Discrete mathematics; Star (game theory); Mathematics; Combinatorics; Binary number; Automaton; Computer science; Algorithm; Theoretical computer science; Arithmetic","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.0009741278,0.0003573992,0.0004489952,0.0005015869,0.0007995436,0.002122089,0.001252497,0.0005333165,0.005144938],"category_scores_gemma":[0.006761292,0.0004735552,0.000853164,0.0005037558,0.001614465,0.00352847,0.001648747,0.001330971,0.0008191902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008752421,"about_ca_system_score_gemma":0.000774489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00033884,"about_ca_topic_score_gemma":0.0004764307,"domain_scores_codex":[0.998086,0.0003084367,0.000234428,0.0005089171,0.0006647027,0.0001976014],"domain_scores_gemma":[0.9896975,0.005143694,0.001459525,0.002025102,0.001272544,0.0004015724],"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.0006904475,0.0002452589,0.008114255,0.0007416304,0.00006269295,0.001009863,0.002664681,0.01476592,0.08671308,0.8153795,0.003117998,0.0664947],"study_design_scores_gemma":[0.00006435149,0.000265677,0.005308034,0.00008955236,0.0001182785,0.001782097,0.0009413902,0.06863534,0.1106936,0.7890145,0.02297161,0.0001155185],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6580808,0.0003567015,0.3181438,0.001085699,0.00005322935,0.0002224802,0.0009889306,0.001669359,0.01939913],"genre_scores_gemma":[0.9163859,0.0001653985,0.07742459,0.0001990735,0.00004592128,0.0001568254,0.0008046223,0.0002449881,0.004572607],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005144938,"threshold_uncertainty_score":0.0172115,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02039698106508405,"score_gpt":0.3192316849343023,"score_spread":0.2988347038692182,"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."}}