{"id":"W2769915601","doi":"10.1007/978-3-319-94631-3_4","title":"Most Complex Deterministic Union-Free Regular Languages","year":2018,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Regular language; Regular expression; Mathematics; Discrete mathematics; Nondeterministic finite automaton; State (computer science); Automaton; Star (game theory); Combinatorics; Computer science; Automata theory; Theoretical computer science; Algorithm; Programming language","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.001467144,0.0008998952,0.001389594,0.00127796,0.002546233,0.007189685,0.001544241,0.001640137,0.01550902],"category_scores_gemma":[0.005838876,0.00129318,0.001395415,0.00129048,0.003609251,0.008225678,0.003587531,0.003226291,0.003489468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001689188,"about_ca_system_score_gemma":0.001048793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005465778,"about_ca_topic_score_gemma":0.0007048438,"domain_scores_codex":[0.9976243,0.0003222524,0.0001825556,0.0008115308,0.0006861466,0.0003731312],"domain_scores_gemma":[0.9939426,0.003787123,0.0004696876,0.0007285943,0.0006801055,0.0003919211],"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.0002483784,0.00005059046,0.0007508812,0.0001890547,0.00003517538,0.0002397559,0.0008294832,0.002197037,0.003839986,0.9787139,0.003055102,0.009850597],"study_design_scores_gemma":[0.00003754428,0.0000173635,0.0002494096,0.00002052385,0.00002944665,0.0002844066,0.0001285259,0.005365129,0.002186992,0.9868705,0.004785172,0.00002490382],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5310166,0.001404135,0.3366314,0.004329907,0.0002294869,0.0001547952,0.002900253,0.002427151,0.1209063],"genre_scores_gemma":[0.948374,0.000433872,0.02373935,0.0006502473,0.0002263915,0.0001673102,0.00136793,0.0005291527,0.02451177],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01550902,"threshold_uncertainty_score":0.0518828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01687687343771686,"score_gpt":0.2726286938493184,"score_spread":0.2557518204116015,"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."}}