{"id":"W2922460544","doi":"10.1016/j.ic.2019.03.003","title":"On store languages and applications","year":2019,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Computer science; Nondeterministic algorithm; Pushdown automaton; Bounded function; Reachability; Set (abstract data type); Successor cardinal; Finite-state machine; Automaton; Theoretical computer science; Deterministic pushdown automaton; Decidability; Programming language; Algorithm; Nondeterministic finite automaton; Mathematics; 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.001275942,0.0009566552,0.001402381,0.002979818,0.002793837,0.005957705,0.001739942,0.002403075,0.02181192],"category_scores_gemma":[0.005928644,0.0008137624,0.001338545,0.005440186,0.005366991,0.01538331,0.004477344,0.003640593,0.004274377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001732859,"about_ca_system_score_gemma":0.00120453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002149131,"about_ca_topic_score_gemma":0.001623727,"domain_scores_codex":[0.9987333,0.000385204,0.00009479191,0.0002904441,0.0003516379,0.0001446147],"domain_scores_gemma":[0.9969944,0.001722946,0.00008401459,0.0006464433,0.0004097757,0.0001424184],"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.00001323978,0.00001102413,0.00004821538,0.0000421216,0.000004507571,0.00003208678,0.0002295102,0.0004369879,0.0001627584,0.9853159,0.003680245,0.01002346],"study_design_scores_gemma":[0.000003955655,0.000005342001,0.00002819412,0.00002696847,0.000005967874,0.00005784827,0.00008081239,0.002032692,0.0001915477,0.9797269,0.01783435,0.000005461075],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0493231,0.0321837,0.6025422,0.02174392,0.002806257,0.0001446103,0.000937379,0.00146331,0.2888556],"genre_scores_gemma":[0.6396429,0.02484619,0.1022988,0.005002037,0.004700315,0.000550941,0.001151088,0.001256302,0.2205516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02181192,"threshold_uncertainty_score":0.07296818,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003813228071605732,"score_gpt":0.2394666220793819,"score_spread":0.2356533940077762,"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."}}