On minimal realization of IF-languages: A categorical approach

On Minimal Realization of If-languages: a Categorical Approach

The purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode’s theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and...

the effect of a selfregulatory approach on the improvement of efl learners listening comprehension

تاثیر آموزش مهارت خود محوری بر روی ارتقاء مهارت شنیداری زبان آموزان هدف این پژوهش بررسی عوامل موثر در ارتقا مهارت شنیداری زبان آموزان ایرانی بود. در مرحله اول این تحقیق پژوهشگر پس از انجام مصاحبه نود زبان آموز را با استفاده از تست ایلتس انتخاب شدند. برای بررسی عوامل عوامل موثر در ارتقا مهارت شنیداری زبان آموزان ایرانی از دو نوع فیلم ویرایش شده و ویرایش نشده استفاده گردید.برای انجام تح...

the impact of portfolio assessment on iranian efl students essay writing: a process-oriented approach

this study was conducted to investigate the impact of portfolio assessment as a process-oriented assessment mechanism on iranian efl students’ english writing and its subskills of focus, elaboration, organization, conventions, and vocabulary. out of ninety juniors majoring in english literature and translation at the university of isfahan, sixty one of them who were at the same level of writing...

Realization of Minimal Supergravity

Minimal supergravity mediation of supersymmetry breaking has attracted much attention due to its simplicity, which leads to its predictive power. We consider how Nature possibly realizes minimal supergravity through inflationary selection of the theory. Minimality is impressively consistent with the present observational bounds and it might be tested with the aid of low-energy soft parameters o...

A Categorical Analysis of Multi-Level Languages

We propose categorical models for λ, λ, MetaML, and AIM. First, we focus on the underlying logical modalities and the interactions between them, then we investigate the interactions between logical modalities and computational monads. We give two examples of categorical model: one simpler but with some limitations, the other more complex but able to model all features of AIM.

A categorical account of two-level languages