{"id":"W2585141159","doi":"10.1016/j.jcss.2017.02.001","title":"State complexity of operations on input-driven pushdown automata","year":2017,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"semigroups and automata theory","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Concatenation (mathematics); Combinatorics; State (computer science); Discrete mathematics; Mathematics; Alphabet; Automaton; Regular language; Star (game theory); Pushdown automaton; Finite-state machine; Computer science; Algorithm; Theoretical computer science","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.002212425,0.0006983278,0.001663085,0.00165194,0.001296397,0.006967764,0.001938524,0.001639104,0.008261859],"category_scores_gemma":[0.02071904,0.0007419816,0.001517769,0.001643381,0.002668283,0.009694898,0.002765187,0.002639156,0.0003817988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002947862,"about_ca_system_score_gemma":0.002370953,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003171281,"about_ca_topic_score_gemma":0.00242757,"domain_scores_codex":[0.9967297,0.0007341777,0.0002853953,0.000532132,0.0009878308,0.0007306914],"domain_scores_gemma":[0.9473689,0.04442731,0.002055361,0.002415798,0.002265301,0.001467413],"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.001155109,0.0003246872,0.006118102,0.0003029087,0.0001221168,0.0004866784,0.00132853,0.2017028,0.01060743,0.7554415,0.001729939,0.02068022],"study_design_scores_gemma":[0.00006083968,0.00007132136,0.0009927874,0.00001487309,0.0000431905,0.00007226269,0.0001503393,0.4641556,0.003486583,0.5305991,0.0003130535,0.00003999777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8540788,0.0002598638,0.1357908,0.000830699,0.00004674687,0.00007345589,0.00071682,0.0003847155,0.00781821],"genre_scores_gemma":[0.9912005,0.00009465218,0.006514321,0.0000394953,0.00003742915,0.00005496704,0.0003273687,0.00007776029,0.001653427],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008261859,"threshold_uncertainty_score":0.02763867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05344652619702596,"score_gpt":0.295152639193107,"score_spread":0.241706112996081,"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."}}