{"id":"W2288306272","doi":"10.1016/j.tcs.2016.02.034","title":"The effect of end-markers on counter machines and commutativity","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Commutative property; Nondeterministic algorithm; Mathematics; Decidability; Deterministic pushdown automaton; Finite-state machine; Discrete mathematics; Bounded function; Nested word; Closure (psychology); Regular language; Pushdown automaton; Class (philosophy); Quotient; Automaton; Quantum finite automata; Nondeterministic finite automaton; Combinatorics; Automata theory; Computer science; Algorithm; Theoretical computer science","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.006747651,0.0008331775,0.001676161,0.001274828,0.003997591,0.005504524,0.002392691,0.003125899,0.01955668],"category_scores_gemma":[0.04550185,0.001239842,0.001803669,0.0010382,0.009225705,0.01886707,0.005851478,0.003258753,0.001207388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001051834,"about_ca_system_score_gemma":0.001427538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001049197,"about_ca_topic_score_gemma":0.001148613,"domain_scores_codex":[0.9947639,0.002269835,0.000392687,0.0009713276,0.0007241551,0.000878089],"domain_scores_gemma":[0.8936079,0.08386366,0.002796268,0.0131081,0.003190646,0.00343337],"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.001374554,0.0001879328,0.002153727,0.0002047345,0.00004206293,0.0005072657,0.001371045,0.007155868,0.00791598,0.9627567,0.001386145,0.01494404],"study_design_scores_gemma":[0.0001418656,0.0001513303,0.000954617,0.00004248915,0.0001265078,0.0003292873,0.0005216002,0.01903089,0.0160123,0.9597734,0.002837784,0.00007794274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6430867,0.001104377,0.2686364,0.003163234,0.0007742275,0.00009810893,0.0003430686,0.001948039,0.08084588],"genre_scores_gemma":[0.9793838,0.0001970362,0.01373491,0.0002201028,0.0001248062,0.00005716738,0.00006256433,0.0003658466,0.005853769],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01955668,"threshold_uncertainty_score":0.06542361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003231331944624167,"score_gpt":0.2313524472960853,"score_spread":0.2281211153514611,"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."}}