{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002353238,0.0006406258,0.001375706,0.001416873,0.002226319,0.00734341,0.002194801,0.002797401,0.01832925],"category_scores_gemma":[0.02635446,0.0008422706,0.001283456,0.001587805,0.003691269,0.01726889,0.003460721,0.003933174,0.001536638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002922206,"about_ca_system_score_gemma":0.002607784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001592805,"about_ca_topic_score_gemma":0.001109624,"domain_scores_codex":[0.9955782,0.001126692,0.00025507,0.00105208,0.00125401,0.0007338779],"domain_scores_gemma":[0.9672207,0.02383666,0.00163769,0.004420321,0.001866247,0.001018304],"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.00009922231,0.0000333491,0.00061185,0.00005283153,0.00001829523,0.00005103087,0.0003049185,0.008387187,0.0006733522,0.9819139,0.001335397,0.006518736],"study_design_scores_gemma":[0.00001459366,0.00001545775,0.0003886551,0.00001497777,0.00001570934,0.00006437488,0.00008030095,0.05745262,0.0009530405,0.9394457,0.001533128,0.00002129909],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4494058,0.001066315,0.4014953,0.01306688,0.0003499373,0.0001967804,0.002753061,0.0009056286,0.1307601],"genre_scores_gemma":[0.9772618,0.0002457304,0.01031391,0.0002445286,0.000150962,0.0001212809,0.0006257269,0.0001440849,0.01089202],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01832925,"threshold_uncertainty_score":0.0613175,"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."}}