In this paper, we give a Nivat-like characterization for weighted alternating automata over commutative semirings (WAFA). To purpose prove that can be characterized as the concatenation of finite tree (WFTA) and specific class homomorphism. We show series recognized by is closed under inverses homomorphisms, but not homomorphisms. logical automata, which uses MSO logic trees. Finally investigat...

Interest in memorizing the Qur'an among students is still low to point of considering it difficult; teachers need use suitable methods arouse interest and ease for students. The purpose this study was determine learning using Wafa method at MI Darus Salam. This research uses a qualitative approach with type case research. Salam location data collected obtained from observation, interviews, docu...

Perusahaan (AMDK) PT. Ahlus Shafa wal Wafa memiliki usia yang masih muda. Pada saat ini air minum “MaDa” segment pasar pada jama’ah hingga wali santri tersebar di berbagai daerah Indonesia. Penelitian dilakukan karena belum pernah melakukan pengukuran kinerja. Proses kinerja dengan pendekatan perspektif balanced scorecard (BSC) dan menggunakan data tiga tahun terakhir mulai 2018 sampai 2020. Ha...

Urf is a habit that has been practiced by society and considered good, it can be in the form of words or actions do not violate Islamic law. Many behaviors habits people's lives have become traditions everyday life. The tradition general application. This study used qualitative research methods. Qualitative method with understanding extracting meaning to what happens various individuals groups,...