{"id":"W136331652","doi":"10.14232/actacyb.21.4.2014.1","title":"Quotient Complexity of Bifix-, Factor-, and Subword-free Regular Language","year":2014,"lang":"en","type":"article","venue":"Acta Cybernetica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Moncton; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Vedecká Grantová Agentúra MŠVVaŠ SR a SAV; Agentúra na Podporu Výskumu a Vývoja","keywords":"Regular language; Quotient; Prefix; Suffix; Mathematics; Discrete mathematics; Concatenation (mathematics); Combinatorics; Computer science; Automaton; Theoretical computer science; Linguistics","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.0007573633,0.0004153803,0.0007441895,0.001079966,0.0009770641,0.002502407,0.001167128,0.0006270595,0.005607007],"category_scores_gemma":[0.007128185,0.0002608071,0.001222788,0.0007891569,0.002084417,0.005659799,0.001877935,0.001129602,0.0003757661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002542516,"about_ca_system_score_gemma":0.001962367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002971047,"about_ca_topic_score_gemma":0.001801619,"domain_scores_codex":[0.9981315,0.0002031397,0.0002115734,0.0004944071,0.0004672219,0.0004922336],"domain_scores_gemma":[0.9926045,0.004474961,0.0005900767,0.0007903847,0.0008413682,0.0006987051],"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.001538624,0.0002387737,0.01727074,0.0004826522,0.000102736,0.0006493173,0.003323606,0.08102396,0.04132326,0.7978188,0.004230615,0.0519969],"study_design_scores_gemma":[0.00005285344,0.0001389266,0.003297716,0.00002617603,0.00006514702,0.0004257695,0.0003357001,0.2250519,0.01544225,0.7521912,0.002888958,0.00008351722],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9195275,0.0004144994,0.06911574,0.0005876043,0.00003477052,0.00007280236,0.001022287,0.0004139651,0.008810855],"genre_scores_gemma":[0.9817146,0.0001708715,0.01432138,0.00007039467,0.00003829957,0.0000936327,0.0009664284,0.00008140002,0.002543073],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005607007,"threshold_uncertainty_score":0.01875734,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01278050915506425,"score_gpt":0.2178718046032658,"score_spread":0.2050912954482015,"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."}}