{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001177646,0.0005115708,0.0005789784,0.001146335,0.0008877871,0.003379697,0.001519035,0.0009205557,0.00665628],"category_scores_gemma":[0.009066284,0.0004426596,0.001911432,0.0009833331,0.002042927,0.006034314,0.001799015,0.002129054,0.0009450378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001150248,"about_ca_system_score_gemma":0.0006232796,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006384276,"about_ca_topic_score_gemma":0.0007316808,"domain_scores_codex":[0.9963875,0.0007070779,0.0004188986,0.0008055739,0.001233263,0.0004477009],"domain_scores_gemma":[0.9902519,0.005632551,0.0007543413,0.00219051,0.000869215,0.0003015962],"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.0002273735,0.0001801627,0.001500907,0.0002353774,0.00006625376,0.001008342,0.0009322823,0.06669737,0.01838613,0.8602524,0.00114695,0.04936632],"study_design_scores_gemma":[0.00003048365,0.00009363914,0.0004496973,0.00003255347,0.00005299934,0.0003592288,0.0001387303,0.1720662,0.01853142,0.8047389,0.003459815,0.00004625626],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2647093,0.0004083919,0.7143339,0.0003205665,0.0001728824,0.0001854648,0.0004710818,0.001745264,0.01765324],"genre_scores_gemma":[0.8875994,0.0001956934,0.1058342,0.0001134943,0.00007116501,0.0001616562,0.0005593703,0.0002603523,0.00520457],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00665628,"threshold_uncertainty_score":0.02226752,"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."}}