{"id":"W1967415065","doi":"10.1142/s0129054112400709","title":"BOUNDED PARIKH AUTOMATA","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Bounded function; Class (philosophy); Automaton; Set (abstract data type); Discrete mathematics; Affine transformation; Mathematics; Word (group theory); Regular language; Pure mathematics; Computer science; Theoretical computer science; Programming language; Artificial intelligence; Mathematical analysis","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.001754352,0.00009864806,0.0001621654,0.0005923409,0.0001247143,0.0004161173,0.00399689,0.00002540584,0.00002670878],"category_scores_gemma":[0.0001350134,0.00008424322,0.0001098582,0.0005937494,0.0003483081,0.004805572,0.0005564748,0.0001152275,0.00002572467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001109977,"about_ca_system_score_gemma":0.0003966801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000641966,"about_ca_topic_score_gemma":4.288703e-7,"domain_scores_codex":[0.9977787,0.00004418234,0.0005656846,0.0001485284,0.001215594,0.0002473608],"domain_scores_gemma":[0.9974961,0.0001723056,0.0006111774,0.0003941491,0.001169123,0.0001571319],"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.00001068147,0.0004919911,0.002455009,0.000005227435,0.00008727155,0.00001065581,0.001760396,0.0004401711,0.004479889,0.7546342,0.001041152,0.2345834],"study_design_scores_gemma":[0.003512112,0.0008298902,0.1922287,0.000480863,0.000058576,0.004139233,0.0001731818,0.5240461,0.05156025,0.1708666,0.05103085,0.001073551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.105243,0.00006296281,0.8872058,0.001376554,0.005212948,0.00003805729,0.000001741085,0.00003317929,0.0008257553],"genre_scores_gemma":[0.7517236,0.00001226653,0.2476808,0.0001992657,0.0003657209,6.250648e-7,6.346772e-7,0.000002962903,0.00001403686],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6464807,"threshold_uncertainty_score":0.7427283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01829245612019108,"score_gpt":0.3058326623659386,"score_spread":0.2875402062457475,"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."}}