Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable

2019 ◽  
Vol 777 ◽  
pp. 409-416
Author(s):  
Naoki Kobayashi
1975 ◽  
Vol 4 (47) ◽  
Author(s):  
Joost Engelfriet ◽  
Erik Meineche Schmidt

A fixed point characterization of the inside-out (IO) and the outside- in (OI) context-free tree languages is given. This characterization is used to obtain a theory of nondeterministic systems of context-free equations with parameters. Several ''Mezei and Wright like'' results are obtained which relate to context-free tree languages, to recognizable tree languages and to nondeterministic recursive program(scheme)s (called by value and called by name). The emptiness problem and closure properties of the context-free tree languages are discussed. Hierarchies of higher level equational subsets of an algebra are considered.


Author(s):  
Ting Cheng ◽  
Jianquan Jia ◽  
Lei Jin ◽  
Xinlei Jia ◽  
Shiyu Xia ◽  
...  

2018 ◽  
Vol 164 ◽  
pp. 01032
Author(s):  
Noor Syaifudin ◽  
Nurkholis ◽  
Rangga Handika ◽  
Roy Hendroko Setyobudi

This study aimed to provide a basis for future policy making in supporting the waste to energy from tofu in Indonesia. The policy studied was the credit program scheme for tofu industry. The financial feasibility, as well as cost and benefit analysis, were conducted to meet the objectives. Tofu industries are mostly small-sized industry which supports people with middle-to-low incomes. On the other hand, tofu industry also contributes significant amounts of emissions. Thus this calls for government intervention to encourage tofu industries to convert their wastes to energy. The result of the study shows that the developments of biogas reactors are feasible for size 84 m3 and 94 m3. The study also found that for both sizes, the benefits are higher than the costs.


Sign in / Sign up

Export Citation Format

Share Document