{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.003516106,0.0001529789,0.0001836926,0.00006801038,0.0004052561,0.0002041474,0.00181133,0.0000267334,0.00001235843],"category_scores_gemma":[0.0002305709,0.00006357607,0.00004779244,0.0003190321,0.005410406,0.0003403583,0.0008793876,0.0000908376,0.00001664177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002344797,"about_ca_system_score_gemma":0.00002532479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002849091,"about_ca_topic_score_gemma":4.988906e-7,"domain_scores_codex":[0.9982035,0.000352848,0.0001859758,0.0004030128,0.0004989123,0.0003557293],"domain_scores_gemma":[0.9935946,0.005414396,0.00007231912,0.0007634209,0.00005346084,0.0001018436],"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.00003227665,0.000008208015,0.0003127632,0.000003970882,0.000003423055,0.000002009614,0.00006277019,0.000001630514,0.001251362,0.7004839,0.00003904102,0.2977987],"study_design_scores_gemma":[0.00148077,0.003841052,0.01784553,0.000276379,0.00001302373,0.00007828968,0.000005111667,0.5029089,0.07878415,0.39382,0.0004519006,0.000494929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4297534,0.00003828121,0.5658057,0.002351215,0.0003554025,0.0001377312,0.000002927552,0.00008339059,0.001471961],"genre_scores_gemma":[0.996662,0.000009044491,0.003010296,0.0002673665,0.00003395692,0.000004830444,6.631549e-8,0.000004591343,0.000007845079],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5669086,"threshold_uncertainty_score":0.9972963,"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."}}