{"id":"W1978707564","doi":"10.1016/j.tcs.2012.04.011","title":"Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Suffix; Prefix; Regular language; Cardinality (data modeling); Mathematics; Combinatorics; Discrete mathematics; Conjecture; Upper and lower bounds; Computer science; Linguistics; Artificial intelligence; Automaton","routes":{"ca_aff":true,"ca_fund":true,"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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001586661,0.0002334236,0.000335472,0.0002008342,0.0002700112,0.0002243415,0.002761865,0.00006783159,0.00005996203],"category_scores_gemma":[0.0002075436,0.0001830986,0.00006933842,0.0007866374,0.005082136,0.001323844,0.002314207,0.0001891402,0.00002189445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003882766,"about_ca_system_score_gemma":0.00005817978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001263253,"about_ca_topic_score_gemma":5.199546e-7,"domain_scores_codex":[0.9974474,0.0001834335,0.0003299474,0.0005639564,0.0007216696,0.0007536397],"domain_scores_gemma":[0.9974046,0.0004222737,0.0001308602,0.001509479,0.0001201089,0.0004127249],"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.000005713192,0.00009534347,0.0008403189,0.00002658956,0.000006893899,0.000003238722,0.001064586,0.000002028892,0.003338278,0.9802919,0.0000319789,0.01429314],"study_design_scores_gemma":[0.0008270251,0.0005136412,0.09061481,0.0001547174,0.00002707642,0.0002868988,0.0001460454,0.1431511,0.08314633,0.680051,0.0001792463,0.0009020601],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4693204,0.0003104806,0.5275943,0.0005915266,0.0003697002,0.0001431461,0.000008351431,0.0002022778,0.001459909],"genre_scores_gemma":[0.890584,0.000008567746,0.1090455,0.0002275181,0.0001149127,0.00000315876,6.70644e-7,0.000009397969,0.000006282673],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4212636,"threshold_uncertainty_score":0.9976255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02016373180650131,"score_gpt":0.2615775143125849,"score_spread":0.2414137825060836,"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."}}