{"id":"W2962904359","doi":"10.1007/s00224-017-9803-8","title":"Syntactic Complexity of Regular Ideals","year":2017,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; University of Waterloo","funders":"European Social Fund; Uniwersytet Wrocławski; University of Waterloo; Natural Sciences and Engineering Research Council of Canada; European Commission; Narodowe Centrum Nauki; University of Toronto; Narodowym Centrum Nauki","keywords":"Regular language; Cardinality (data modeling); Suffix; Mathematics; Prefix; Discrete mathematics; Nondeterministic finite automaton; Descriptive complexity theory; Combinatorics; Computer science; Time complexity; Automaton; Automata theory; Linguistics; Theoretical computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001512464,0.000310975,0.0007296733,0.001109972,0.001834692,0.003266437,0.001084737,0.0005798755,0.005699026],"category_scores_gemma":[0.00766384,0.0005835329,0.001610799,0.0005416189,0.003218694,0.005724134,0.00254102,0.001841669,0.0005141885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001941206,"about_ca_system_score_gemma":0.001644219,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001236394,"about_ca_topic_score_gemma":0.001198534,"domain_scores_codex":[0.9972649,0.000391741,0.0002712481,0.0005787293,0.000941258,0.0005520938],"domain_scores_gemma":[0.9877735,0.007551041,0.001289806,0.001430484,0.001310752,0.0006444501],"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.0004622758,0.0001394486,0.007289138,0.0002510452,0.00005035154,0.0004045434,0.001953486,0.03203704,0.02422583,0.9142721,0.001982539,0.01693224],"study_design_scores_gemma":[0.00002753018,0.00007749991,0.002520562,0.00002509268,0.00004734557,0.0003194844,0.0003488684,0.07103628,0.01468574,0.9072887,0.003566654,0.00005622024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.826318,0.0002793368,0.1365557,0.001360273,0.00005765806,0.0001218187,0.0007678297,0.0005645077,0.03397495],"genre_scores_gemma":[0.9776689,0.0001107026,0.01791808,0.00009460134,0.0000773154,0.0001063113,0.0005011044,0.00008116219,0.003441741],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005699026,"threshold_uncertainty_score":0.0190652,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05201520097610158,"score_gpt":0.2847825039784081,"score_spread":0.2327673030023065,"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."}}