{"id":"W2949340385","doi":"10.48550/arxiv.0907.0159","title":"The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages","year":2009,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Winnipeg","funders":"","keywords":"Prefix; Universality (dynamical systems); Mathematics; Computer science; Arithmetic; Linguistics; Philosophy; Physics","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.0007013117,0.0002304041,0.0004152206,0.00006393293,0.0001490615,0.00005657435,0.001049731,0.0001432776,0.000003110426],"category_scores_gemma":[0.00008900135,0.0001673625,0.0001450253,0.0001265846,0.0004535911,0.0001287089,0.000725569,0.0002090973,3.94099e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003721753,"about_ca_system_score_gemma":0.0001212316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000225798,"about_ca_topic_score_gemma":0.0000498076,"domain_scores_codex":[0.9984816,0.0001611858,0.0004211882,0.0004442634,0.0002677641,0.0002239932],"domain_scores_gemma":[0.9978623,0.0006238235,0.000510935,0.0007363635,0.000207122,0.00005943113],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0000712721,0.0004263168,0.1786758,0.001340162,0.0003896027,0.000004086638,0.005176067,0.004448236,0.001108293,0.7987811,0.0009747499,0.008604311],"study_design_scores_gemma":[0.0005429997,0.0001680847,0.7157428,0.0002641606,0.00004740987,0.000002940383,0.0003716725,0.0211266,0.002905822,0.2575251,0.0009437518,0.0003587049],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8978609,0.00160408,0.09890358,0.0005281855,0.000158561,0.0005328832,0.0001746552,0.00009012765,0.0001469881],"genre_scores_gemma":[0.9885154,0.00007369362,0.0111537,0.00003311813,0.00003733304,0.000008350016,0.0001150479,0.00001069146,0.00005268374],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5412561,"threshold_uncertainty_score":0.6824846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05736920413176716,"score_gpt":0.277646012375562,"score_spread":0.2202768082437949,"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."}}