{"id":"W2950107561","doi":"10.1142/s0129054118400051","title":"On the Density of Context-Free and Counter Languages","year":2018,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan; University of British Columbia","funders":"","keywords":"Undecidable problem; Deterministic pushdown automaton; Context-free language; Decidability; Mathematics; Regular language; Pushdown automaton; Discrete mathematics; Nondeterministic algorithm; Nested word; Word (group theory); Pumping lemma for regular languages; Combinatorics; Bounded function; Automaton; Nondeterministic finite automaton; Computer science; Finite-state machine; Automata theory; Quantum finite automata; Algorithm; Theoretical computer science; Rule-based machine translation; Programming language","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.002611538,0.0006800604,0.0007917287,0.00189562,0.001654807,0.003666339,0.001606957,0.001009304,0.003166756],"category_scores_gemma":[0.01542263,0.001025816,0.001417515,0.001241909,0.005570609,0.01044471,0.003586495,0.002926422,0.0004129782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002860288,"about_ca_system_score_gemma":0.002354761,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003380463,"about_ca_topic_score_gemma":0.001818531,"domain_scores_codex":[0.9961392,0.0009933827,0.0003266747,0.0007531564,0.001183872,0.0006036377],"domain_scores_gemma":[0.9776999,0.01780041,0.0008526953,0.001545072,0.001415533,0.0006864411],"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.000144691,0.00004999447,0.001277468,0.0001213663,0.00001922305,0.0002341137,0.001229515,0.01152589,0.002690011,0.9705185,0.0005904523,0.01159871],"study_design_scores_gemma":[0.00004115752,0.00007467955,0.0005055893,0.00008166375,0.00005328669,0.0003729198,0.0003656453,0.08740761,0.006084254,0.9004166,0.004544506,0.00005210778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3397076,0.002528542,0.6221501,0.001728818,0.0001266103,0.0003324387,0.0006513783,0.001493601,0.03128093],"genre_scores_gemma":[0.9319115,0.0006668561,0.06059738,0.0003235461,0.0001508406,0.0003988291,0.000444172,0.0001905619,0.005316253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003666339,"threshold_uncertainty_score":0.02075297,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01199821149710962,"score_gpt":0.2856617002251832,"score_spread":0.2736634887280736,"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."}}