{"id":"W2159447498","doi":"10.1007/978-3-319-09704-6_9","title":"Most Complex Regular Right-Ideal Languages","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Ideal (ethics); Quotient; Semigroup; Regular language; Mathematics; Alphabet; Discrete mathematics; State (computer science); Combinatorics; Computer science; Algorithm; Automaton; Linguistics; Theoretical computer science; Law","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001175006,0.0006505076,0.0007011768,0.0005841797,0.0003416094,0.0007346688,0.005227722,0.0003558137,0.000115867],"category_scores_gemma":[0.00008455982,0.0005561697,0.0001423447,0.0006664296,0.0008975349,0.0004054924,0.001825257,0.0007362316,0.0001816617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002045793,"about_ca_system_score_gemma":0.0003332523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004650649,"about_ca_topic_score_gemma":0.00005486145,"domain_scores_codex":[0.995644,0.00006709876,0.0005613415,0.001751285,0.001125817,0.000850422],"domain_scores_gemma":[0.9963931,0.0005648042,0.0003263537,0.002260633,0.0002162719,0.0002388257],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003323322,0.00001932872,0.0000169296,0.00004168376,0.00001419452,0.0002085344,0.0003324112,0.00295028,0.0005148026,0.3062784,0.0006039049,0.6890162],"study_design_scores_gemma":[0.0004157885,0.0001993198,0.000270868,0.0004445914,0.00001247455,0.0002553114,3.118621e-7,0.5505788,0.002151523,0.407725,0.03664655,0.001299444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007873828,0.0005362256,0.9838545,0.001153565,0.001159332,0.0002767924,0.000008886329,0.0004159061,0.0125161],"genre_scores_gemma":[0.243519,0.00005960314,0.7400699,0.01137309,0.002049175,0.00001584443,0.00004875142,0.0001194427,0.002745221],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6877167,"threshold_uncertainty_score":0.999689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01129878115643675,"score_gpt":0.2373297002009525,"score_spread":0.2260309190445157,"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."}}