{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009223779,0.0004156687,0.0006386751,0.0005036987,0.0008695804,0.002378264,0.001329008,0.0009393848,0.004793854],"category_scores_gemma":[0.003870825,0.0003678062,0.001164208,0.0006526032,0.003018994,0.004216888,0.002316564,0.002029819,0.0009472742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001092381,"about_ca_system_score_gemma":0.0008078156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001206088,"about_ca_topic_score_gemma":0.0006087921,"domain_scores_codex":[0.9982723,0.0004159118,0.0001219975,0.0005216277,0.0004497551,0.0002184585],"domain_scores_gemma":[0.997438,0.001069944,0.0001792182,0.0009262005,0.0002622653,0.0001243829],"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.00009199326,0.00002163331,0.0003600109,0.0000787095,0.00001289347,0.0001519162,0.0004381209,0.009937205,0.006476675,0.9693621,0.0006929264,0.01237575],"study_design_scores_gemma":[0.00002454428,0.00007214837,0.0002273756,0.00002657592,0.00002111825,0.0002503618,0.00007693921,0.09707017,0.005723462,0.8827312,0.01374688,0.00002919467],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1191743,0.0008446265,0.8242143,0.000845272,0.0001827262,0.0001188394,0.0007152052,0.002140478,0.05176423],"genre_scores_gemma":[0.9169998,0.0003556959,0.07187138,0.0002406776,0.0001431798,0.0001946226,0.0004479539,0.0001579233,0.009588693],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004793854,"threshold_uncertainty_score":0.01603705,"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."}}