{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005097726,0.0007959089,0.0008310233,0.001667489,0.001368039,0.004049422,0.002221858,0.001868057,0.005082983],"category_scores_gemma":[0.01589247,0.001046786,0.002201897,0.00223566,0.008799577,0.01251558,0.002921502,0.003833922,0.001789654],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001630636,"about_ca_system_score_gemma":0.001978621,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001185413,"about_ca_topic_score_gemma":0.001185212,"domain_scores_codex":[0.9900635,0.003115031,0.001025594,0.002824949,0.00223793,0.0007328845],"domain_scores_gemma":[0.9867006,0.007267027,0.001074215,0.0032927,0.001328372,0.0003371114],"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.00003784708,0.0000158512,0.0002270823,0.00005718806,0.000008978066,0.0001081168,0.0004535246,0.00247246,0.001474834,0.9848511,0.0008450344,0.009447952],"study_design_scores_gemma":[0.00001557586,0.00002860346,0.0001028879,0.00004299642,0.00002804498,0.0001404627,0.0001365472,0.01557177,0.003342842,0.965462,0.0150966,0.00003163459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01114345,0.0002059143,0.9772317,0.0006328762,0.00015431,0.00008258849,0.0002923541,0.001171334,0.009085441],"genre_scores_gemma":[0.2486389,0.0006694934,0.7334633,0.0007948156,0.000479559,0.0006748756,0.001132847,0.0009193502,0.01322681],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005097726,"threshold_uncertainty_score":0.02695972,"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."}}