{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00141007,0.0001089137,0.0003293924,0.0001722457,0.0006730247,0.0008691046,0.001969867,0.00002483033,0.000001675953],"category_scores_gemma":[0.00001995971,0.00007170311,0.00007916798,0.0001075979,0.0004968357,0.001135795,0.000345117,0.0000950827,0.00000339565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001868921,"about_ca_system_score_gemma":0.0001112525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003180103,"about_ca_topic_score_gemma":0.000005598748,"domain_scores_codex":[0.9985249,0.0001246146,0.0004947471,0.0001947265,0.0004954704,0.0001655612],"domain_scores_gemma":[0.9986141,0.00009829115,0.0005539559,0.0004570452,0.0001709864,0.0001055977],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002797529,0.0002681141,0.005707498,0.0002037253,0.0001100939,0.0001249159,0.003845204,0.01317675,0.002003248,0.8727572,0.001461228,0.1003141],"study_design_scores_gemma":[0.0005935324,0.0009060766,0.05706188,0.0005404874,0.000008494363,0.0004464964,0.0001223728,0.9347558,0.0008248065,0.004307877,0.0002642066,0.0001679555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5662162,0.00009056551,0.4298124,0.001250856,0.001251742,0.0000883887,0.000005893329,0.00003155888,0.001252364],"genre_scores_gemma":[0.9554967,0.00001390924,0.0442767,0.00007450137,0.000118449,5.063796e-7,1.415453e-7,0.000002317874,0.00001682433],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9215791,"threshold_uncertainty_score":0.8380795,"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."}}