{"id":"W1988560957","doi":"10.1142/s012905410200100x","title":"UNARY LANGUAGE OPERATIONS, STATE COMPLEXITY AND JACOBSTHAL'S FUNCTION","year":2002,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":143,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Natural Sciences and Engineering Research Council of Canada","funders":"","keywords":"Concatenation (mathematics); Unary operation; Regular language; Intersection (aeronautics); State (computer science); Mathematics; Symbol (formal); Alphabet; Discrete mathematics; Function (biology); Finite-state machine; Connection (principal bundle); Automaton; Combinatorics; Computer science; Algorithm; Theoretical computer science; 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.001931417,0.000906055,0.001200214,0.001565384,0.001228548,0.00352002,0.002052621,0.001188796,0.007256537],"category_scores_gemma":[0.009501645,0.0004306402,0.001028871,0.001858462,0.004324009,0.01199916,0.0022718,0.002351001,0.0009400007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002942091,"about_ca_system_score_gemma":0.001626368,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001122223,"about_ca_topic_score_gemma":0.001324844,"domain_scores_codex":[0.9977909,0.0003611724,0.0001305085,0.0002813637,0.0008775665,0.0005584907],"domain_scores_gemma":[0.9852825,0.01055906,0.0007553835,0.002351179,0.0006356636,0.0004162041],"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.0004055391,0.0001098505,0.001687902,0.0001879348,0.00002245298,0.0001146508,0.0002704202,0.04996889,0.004823766,0.8965191,0.002372849,0.04351666],"study_design_scores_gemma":[0.00003715778,0.0001253168,0.0006677863,0.0000346103,0.00004584376,0.0001418593,0.00009682226,0.1656391,0.01076936,0.8179304,0.004459183,0.00005266731],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5543284,0.002273705,0.3890897,0.003117055,0.0002061894,0.0001441671,0.0005429266,0.001395308,0.04890245],"genre_scores_gemma":[0.9194372,0.0008728427,0.07064664,0.0001883037,0.0001388375,0.0001724647,0.0003019615,0.0003278701,0.007913838],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007256537,"threshold_uncertainty_score":0.02427554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02369577806896057,"score_gpt":0.2801950661256422,"score_spread":0.2564992880566816,"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."}}