{"id":"W1482663448","doi":"10.1016/j.ipl.2005.06.011","title":"The state complexity of and","year":2006,"lang":"en","type":"article","venue":"Information Processing Letters","topic":"semigroups and automata theory","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Unary operation; Alphabet; State (computer science); Mathematics; Computational complexity theory; Combinatorics; Time complexity; Discrete mathematics; Regular language; Algorithm; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002020565,0.00004018285,0.00004152971,0.00003220837,0.0001541034,0.0002518224,0.0002011061,0.000007834926,3.876077e-7],"category_scores_gemma":[0.000007208823,0.00002716898,0.000009715919,0.0001064141,0.0001384422,0.001456434,0.00004953757,0.00003273878,0.000003478737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006663359,"about_ca_system_score_gemma":0.00001233311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002815822,"about_ca_topic_score_gemma":0.000001346844,"domain_scores_codex":[0.9995706,0.00001115984,0.0001796765,0.00003804545,0.0001147996,0.00008568558],"domain_scores_gemma":[0.9996824,0.00003010759,0.0001388567,0.000103589,0.00003450158,0.00001050207],"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.000007534363,0.00001114835,0.0004948795,0.0001237074,0.000005368018,6.050278e-7,0.003499109,0.0008214387,0.00290719,0.1327277,0.003880219,0.8555211],"study_design_scores_gemma":[0.0007504844,0.00003279166,0.04747141,0.0001022287,0.00000526497,0.00003786202,0.0002386179,0.7434259,0.01306679,0.1669155,0.02759849,0.0003546078],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3494722,0.00008658624,0.6445156,0.004831857,0.00005299733,0.00005385003,0.00000155413,0.00008885411,0.0008964755],"genre_scores_gemma":[0.9916698,0.000002063949,0.006994813,0.001311184,0.000007966822,0.000002096216,0.000001955458,0.000001096026,0.000009028364],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8551665,"threshold_uncertainty_score":0.242833,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01051109242909641,"score_gpt":0.2119664226953609,"score_spread":0.2014553302662645,"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."}}