{"id":"W2952126735","doi":"10.48550/arxiv.1311.4448","title":"Most Complex Regular Right-Ideal Languages","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Ideal (ethics); Mathematics; Quotient; State (computer science); Alphabet; Semigroup; Discrete mathematics; Sequence (biology); Regular language; Combinatorics; Pure mathematics; Computer science; Algorithm; Automaton; Theoretical computer science; Linguistics","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.001651874,0.0003510209,0.0006943634,0.0009203412,0.001177492,0.003567168,0.0007986207,0.0005451859,0.004844145],"category_scores_gemma":[0.006964853,0.0005077795,0.0009111002,0.0006399769,0.002619154,0.006889945,0.002465761,0.001586648,0.0007691258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001122959,"about_ca_system_score_gemma":0.0007906721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004425985,"about_ca_topic_score_gemma":0.0005206006,"domain_scores_codex":[0.9977518,0.0003426611,0.00022228,0.0006982831,0.000702597,0.0002823704],"domain_scores_gemma":[0.9905887,0.004021056,0.001376529,0.001776302,0.001517833,0.000719677],"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.0003281992,0.00008285049,0.004800756,0.0001347813,0.00003626363,0.0004206243,0.001831706,0.004040262,0.02207902,0.9516502,0.001363904,0.01323147],"study_design_scores_gemma":[0.00005871827,0.0001257813,0.002962588,0.00004860076,0.00005299924,0.001022699,0.0009385069,0.04188493,0.02576234,0.9140393,0.01302405,0.0000795628],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6937578,0.0003619061,0.278574,0.00118705,0.00005400774,0.0001725396,0.001497974,0.001152364,0.02324247],"genre_scores_gemma":[0.9330389,0.0001669494,0.05940917,0.0001758775,0.0001021325,0.0001599067,0.0009525284,0.0001524429,0.005842071],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004844145,"threshold_uncertainty_score":0.01620531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04552554499376606,"score_gpt":0.1854332929501362,"score_spread":0.1399077479563701,"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."}}