{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006767123,0.00008729793,0.0001322754,0.0004668607,0.0001555135,0.0004408195,0.001465638,0.00001673071,0.0000498011],"category_scores_gemma":[0.00006087452,0.00007679475,0.00005443954,0.0004064646,0.0004064534,0.002534981,0.0003156612,0.0001072927,0.00001037375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005660755,"about_ca_system_score_gemma":0.00008977614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001886329,"about_ca_topic_score_gemma":0.000003823117,"domain_scores_codex":[0.9984963,0.00004732483,0.0004357657,0.0001850142,0.0007084411,0.0001271868],"domain_scores_gemma":[0.998478,0.00009830068,0.0002573681,0.0002390115,0.0008395807,0.00008776417],"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.00002205008,0.0004566666,0.001185815,0.00001158455,0.0001253593,0.00005660246,0.005051815,0.008758323,0.0113805,0.2549134,0.0009345284,0.7171033],"study_design_scores_gemma":[0.0007349667,0.000331271,0.03034985,0.0000874015,0.00001064862,0.00063873,0.00007886842,0.9426056,0.002690879,0.02115416,0.001124005,0.0001936417],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2537917,0.0001771358,0.7431424,0.001402553,0.001201529,0.0000399305,0.000003712067,0.00001979396,0.0002212772],"genre_scores_gemma":[0.867025,0.00004660935,0.1325084,0.0002566651,0.0001223317,7.022726e-7,0.00000112825,0.000002796797,0.00003639206],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9338472,"threshold_uncertainty_score":0.4250832,"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."}}