{"id":"W2040106564","doi":"10.3233/fi-2011-519","title":"Transformations Between Different Models of Unranked Bottom-Up Tree Automata","year":2011,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Natural Sciences and Engineering Research Council of Canada; Queen's University","funders":"Fundação para a Ciência e a Tecnologia","keywords":"Nondeterministic algorithm; Automaton; Tree (set theory); Tree automaton; Computer science; Theoretical computer science; Nondeterministic finite automaton; Computation; State (computer science); Deterministic automaton; Mathematics; Combinatorics; Automata theory; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009127363,0.0005653783,0.0005678377,0.0008796305,0.0009209539,0.003235671,0.001271956,0.001052324,0.007859406],"category_scores_gemma":[0.005079811,0.0004140926,0.001864186,0.0008096529,0.002191433,0.006449325,0.002022353,0.002043029,0.0009703868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001093043,"about_ca_system_score_gemma":0.0005921969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008583795,"about_ca_topic_score_gemma":0.0009596038,"domain_scores_codex":[0.9980081,0.0004474587,0.0001883425,0.0003863301,0.0006674737,0.0003023623],"domain_scores_gemma":[0.9968404,0.001430188,0.0002863103,0.0008795603,0.0003726797,0.0001909571],"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.00007092432,0.00005498406,0.0002704506,0.00005759165,0.00002120057,0.0003792359,0.0004081354,0.02349182,0.004829659,0.9608497,0.0006208898,0.008945449],"study_design_scores_gemma":[0.00001955551,0.00003787657,0.0001282274,0.00001421251,0.00001861725,0.0001013607,0.00008485741,0.08878688,0.005017692,0.9036835,0.002083731,0.0000234751],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2642093,0.0003317308,0.7028442,0.0005290448,0.0002695849,0.0001508544,0.0004877093,0.001515289,0.02966233],"genre_scores_gemma":[0.9272954,0.0001470332,0.06472909,0.0001284041,0.00007225268,0.000128275,0.0004436705,0.0002747304,0.00678121],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007859406,"threshold_uncertainty_score":0.02629232,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0559662170445804,"score_gpt":0.2406667216710299,"score_spread":0.1847005046264495,"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."}}