{"id":"W2578144384","doi":"10.4204/eptcs.31.18","title":"Transformations Between Different Types of Unranked Bottom-Up Tree Automata","year":2010,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Nondeterministic algorithm; Tree automaton; Automaton; Tree (set theory); String (physics); Mathematics; Computer science; State (computer science); Combinatorics; Theoretical computer science; Discrete mathematics; Algorithm","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.00185993,0.0002533575,0.0003734116,0.0004335403,0.000221961,0.0002802868,0.003535945,0.0001157479,0.00002418916],"category_scores_gemma":[0.0001147602,0.0002020203,0.00009220467,0.001688188,0.001611661,0.001192564,0.0004953927,0.0007993428,0.00001273037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009293442,"about_ca_system_score_gemma":0.0002423332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000345454,"about_ca_topic_score_gemma":0.000004382902,"domain_scores_codex":[0.9970581,0.00002522485,0.0005284912,0.0006682495,0.0007338273,0.0009861144],"domain_scores_gemma":[0.9987869,0.0002306822,0.0001361331,0.0004795264,0.0001737297,0.0001930586],"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.00000595654,0.00007025558,0.0004670087,0.00001835105,0.000005961734,5.328721e-7,0.0008033568,0.000002097671,0.01077512,0.9432373,0.00001506506,0.04459897],"study_design_scores_gemma":[0.0006185565,0.0003434226,0.009022911,0.00005486218,0.0000107511,0.00002961084,0.0000141972,0.3383894,0.07412183,0.5769755,0.00009103038,0.0003278904],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.631415,0.00002526508,0.3644425,0.0009207726,0.0003584685,0.0002236314,0.000001984667,0.0002421871,0.002370188],"genre_scores_gemma":[0.983386,0.00001116413,0.01637597,0.00009564327,0.00009604194,0.00001642913,0.000001199783,0.00001116283,0.000006367395],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3662618,"threshold_uncertainty_score":0.8238147,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005268034681275686,"score_gpt":0.2312247567987587,"score_spread":0.225956722117483,"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."}}