The synthesis of finite state syntax directed top-down and bottom-up transducers

1970 ◽  
Author(s):  
Dines Bjorner
Keyword(s):  
Top Down ◽  
2006 ◽  
Vol 17 (02) ◽  
pp. 395-413 ◽  
Author(s):  
ZSOLT GAZDAG

It is a known result that both shape preserving top-down tree transducers and shape preserving bottom-up tree transducers are semantically equivalent to finite state relabeling tree transducers. Moreover, it is also known that the shape preserving property of top-down tree transducers is decidable. In this paper we present an analogous result for bottom-up tree transducers: we show that it is also decidable whether a bottom-up tree transducer is shape preserving or not.


PsycCRITIQUES ◽  
2005 ◽  
Vol 50 (19) ◽  
Author(s):  
Michael Cole
Keyword(s):  
Top Down ◽  

Author(s):  
Sadari Sadari ◽  
Nurhidayat Nurhidayat ◽  
Rafiqah Rafiqah
Keyword(s):  
Top Down ◽  

Humanisme religius telah mengantarkan pada era kesadaran bahwa peradaban manusia harus memiliki dua arus yang saling menunjang. Selama ini arus balik dalam bidang ekonomi hanya menonjolkan arus balik vertikal atas kebawah (model top down) yang didominasi oleh sistem ekonomi kapitalis dan sosialis, sedangkan di sisi lain mengesampingkan arus balik vertikal dari bawah ke atas (model bottom up) yang didominasi oleh sistem ekonomi syariah, sehingga dampaknya adalah adanya kesenjangan ekonomi yang sangat tajam. Paper ini mewujudkan peran penting, yakni menghubungkan dua arus tersebut secara timbal-balik, yakni mempertemukan arus pertama dengan arus balik kedua, sehingga akan menghasilkan dampak yang positif, progresif, kreatif dan produktif, kemudian pada akhirnya akan dapat meng-optomal-kan ekonomi syariah untuk menciptakan goodgovernance, post goodgovernance secara berkelanjutan, tentunya dengan bantuan peran media kontemporer yang kian update. Ekonomi syariah juga merupakan pilar dan nilai dasar, dari sikap keyakinan dan sikap rasionalitas untuk sanggup menciptakan terwujudnya pemberdayaan dan kesejahteraan sekaligus pengentasan kemiskinan dalam masyarakat di Indonesia.


Sign in / Sign up

Export Citation Format

Share Document