{"id":"W2907458073","doi":"10.1016/j.tcs.2018.12.025","title":"Syntactic complexity of bifix-free regular languages","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Narodowe Centrum Nauki","keywords":"Injective function; Cardinality (data modeling); Mathematics; Regular language; Alphabet; Upper and lower bounds; Combinatorics; Discrete mathematics; Function (biology); Semigroup; Computer science; Theoretical computer science; Linguistics; Automaton","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.001735448,0.0004241788,0.001119227,0.0024277,0.002050969,0.005933108,0.001724295,0.00139644,0.008997649],"category_scores_gemma":[0.007629057,0.0006892282,0.001179086,0.002000238,0.003203589,0.01090389,0.002545963,0.002952917,0.0006403658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002074128,"about_ca_system_score_gemma":0.0011174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001209652,"about_ca_topic_score_gemma":0.0009917227,"domain_scores_codex":[0.9974409,0.0005847839,0.0001689058,0.0004008929,0.0009605957,0.000443808],"domain_scores_gemma":[0.9865307,0.0104813,0.0008691953,0.0006787193,0.0008231844,0.0006167748],"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.0001529966,0.00007550894,0.001694216,0.00009430412,0.00002018092,0.0002012833,0.0008641487,0.00385859,0.002337774,0.983712,0.0009412519,0.006047817],"study_design_scores_gemma":[0.00002036726,0.00001653693,0.0008542305,0.00001093816,0.00001816952,0.0001263743,0.0001698617,0.01227863,0.001003352,0.9847281,0.0007512696,0.0000221704],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8798993,0.0005275708,0.07848339,0.002665353,0.00006378628,0.00004533611,0.000737776,0.0003139919,0.03726343],"genre_scores_gemma":[0.9899336,0.0001924657,0.005324124,0.0001400962,0.0001120605,0.0000504545,0.0004878905,0.0000630077,0.003696343],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008997649,"threshold_uncertainty_score":0.03010011,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01135917003010243,"score_gpt":0.2460149661054134,"score_spread":0.234655796075311,"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."}}