{"id":"W2949687231","doi":"10.1016/j.ic.2017.07.009","title":"Deletion operations on deterministic families of automata","year":2017,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Nondeterministic algorithm; Bounded function; Deterministic pushdown automaton; Quotient; Computer science; Regular language; Discrete mathematics; Mathematics; Automaton; Nondeterministic finite automaton; Combinatorics; Theoretical computer science; Automata theory","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.002687063,0.0008536218,0.001110996,0.002187894,0.002992527,0.003955556,0.001907223,0.001623283,0.006271784],"category_scores_gemma":[0.01020868,0.001096363,0.00183369,0.001973846,0.004496879,0.01153476,0.003256915,0.002173317,0.00115318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001553597,"about_ca_system_score_gemma":0.001028584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006503787,"about_ca_topic_score_gemma":0.0005962268,"domain_scores_codex":[0.9962361,0.001064826,0.0004440842,0.001004756,0.0008398726,0.0004103945],"domain_scores_gemma":[0.9789845,0.01521797,0.001123308,0.002408396,0.001507814,0.0007580449],"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.0001017726,0.00002442167,0.0003971704,0.00006493883,0.00001320691,0.0002407268,0.0006272958,0.002638776,0.002291328,0.9828991,0.0008678368,0.009833565],"study_design_scores_gemma":[0.0000243923,0.00003108594,0.0001744889,0.00002268359,0.00002678089,0.00041318,0.0001883147,0.01321798,0.002960898,0.9779449,0.00496334,0.00003200952],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.225669,0.001300138,0.7447724,0.00128819,0.0002526095,0.00007881065,0.0007169495,0.0009928957,0.02492911],"genre_scores_gemma":[0.8816811,0.0008097375,0.09866607,0.0003356291,0.0002311299,0.0002657654,0.0008026499,0.0003797428,0.01682822],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006271784,"threshold_uncertainty_score":0.02098119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01523578052864682,"score_gpt":0.2717082671359681,"score_spread":0.2564724866073213,"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."}}