{"id":"W2802872846","doi":"10.1142/s0129054120420010","title":"Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels","year":2020,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Regular language; Regular expression; Invariant (physics); Automaton; Alphabet; String (physics); Prefix; Decision problem; Discrete mathematics; Formal language; Mathematics; Graph; Predicate (mathematical logic); Word (group theory); Decidability; Computer science; Theoretical computer science; Algorithm; Programming language","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.0006691492,0.00009709819,0.0001681877,0.0002571158,0.0001223739,0.0003903107,0.001510601,0.00002425046,0.0000146407],"category_scores_gemma":[0.0001291671,0.00008198377,0.00005172451,0.0003654388,0.000363962,0.001978613,0.0003811371,0.0001076457,0.000001278285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003216623,"about_ca_system_score_gemma":0.0002563432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000675359,"about_ca_topic_score_gemma":6.750629e-7,"domain_scores_codex":[0.9983421,0.00004145756,0.0004117152,0.0002391215,0.0008353004,0.0001302878],"domain_scores_gemma":[0.9985057,0.0001747237,0.0003161676,0.0001783725,0.000643495,0.0001815683],"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.00006374723,0.0002415578,0.001940042,0.00003032506,0.0002015228,0.0000903145,0.006498658,0.001511935,0.1958086,0.6245298,0.001782538,0.1673009],"study_design_scores_gemma":[0.005079838,0.001260282,0.09142376,0.0006960745,0.00007270069,0.001142448,0.0002204968,0.7813693,0.04520326,0.05381927,0.01887554,0.0008369879],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2710294,0.0001076344,0.7196356,0.008594756,0.0005118094,0.00004382711,0.000004360897,0.00001666731,0.00005593754],"genre_scores_gemma":[0.8248911,0.00005509476,0.1742236,0.00070038,0.0001209399,6.258732e-7,4.538308e-7,0.00000337779,0.000004423232],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7798574,"threshold_uncertainty_score":0.3763775,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01630698425305571,"score_gpt":0.2694299418787413,"score_spread":0.2531229576256855,"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."}}