{"id":"W2973381442","doi":"10.1142/s0129054119400367","title":"State Complexity of the Quotient Operation on Input-Driven Pushdown Automata","year":2019,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Pushdown automaton; Deterministic pushdown automaton; Quotient; Context-free language; Nested word; Discrete mathematics; String (physics); Regular language; Mathematics; Closure (psychology); Computer science; Quantum finite automata; Nondeterministic finite automaton; Combinatorics; Finite-state machine; Automata theory; Automaton; Rule-based machine translation; Theoretical computer science; Algorithm; Artificial intelligence","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.001538436,0.0005351398,0.001064478,0.000963104,0.00111713,0.003821173,0.001314153,0.0007850787,0.004200953],"category_scores_gemma":[0.01162232,0.0004174059,0.001481888,0.000726618,0.002684378,0.006655208,0.002567688,0.001742362,0.0003126445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002970764,"about_ca_system_score_gemma":0.002331892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003535182,"about_ca_topic_score_gemma":0.002026333,"domain_scores_codex":[0.9970647,0.0005340457,0.0003043157,0.0007657758,0.0008164977,0.0005148624],"domain_scores_gemma":[0.98245,0.01257809,0.000960145,0.001923659,0.001295109,0.0007930997],"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.002108268,0.0004168077,0.01464688,0.0005004818,0.0001580765,0.0008148278,0.002591364,0.2723872,0.05132963,0.5898995,0.001920578,0.06322638],"study_design_scores_gemma":[0.00006203035,0.0001595899,0.001447689,0.00002046613,0.00007633429,0.000150617,0.0001418924,0.6421192,0.02105534,0.3335879,0.001122781,0.0000562121],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8000327,0.0001951043,0.1900208,0.0005546378,0.00004279543,0.0001110041,0.0005818948,0.001038977,0.007421958],"genre_scores_gemma":[0.9824688,0.00007259561,0.0154836,0.0000376299,0.00002223345,0.00009797085,0.0003392049,0.00008060114,0.001397207],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004200953,"threshold_uncertainty_score":0.02155453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02267538617056717,"score_gpt":0.2866288769865917,"score_spread":0.2639534908160245,"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."}}