A hierarchy theorem for regular languages over free bisemigroups

In this article a question left open in [2] is answered. In particular, we show that it is essential that in the definition of parenthesizing automata an arbitrary number of parentheses can be used. Moreover, we prove that the classes Regm of languages accepted by a parenthesizing automaton with at most m pairs of parentheses form a strict hierarchy. In fact, this hierarchy is proper for all alphabets

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems

Collected Papers (on Neutrosophic Theory and Its Applications in Algebra), Volume IX

This ninth volume of Collected Papers includes 87 papers comprising 982 pages on Neutrosophic Theory and its applications in Algebra, written between 2014-2022 by the author alone or in collaboration with the following 81 co-authors (alphabetically ordered) from 19 countries: E.O. Adeleke, A.A.A. Agboola, Ahmed B. Al-Nafee, Ahmed Mostafa Khalil, Akbar Rezaei, S.A. Akinleye, Ali Hassan, Mumtaz Ali, Rajab Ali Borzooei , Assia Bakali, Cenap Özel, Victor Christianto, Chunxin Bo, Rakhal Das, Bijan Davvaz, R. Dhavaseelan, B. Elavarasan, Fahad Alsharari, T. Gharibah, Hina Gulzar, Hashem Bordbar, Le Hoang Son, Emmanuel Ilojide, Tèmítópé Gbóláhàn Jaíyéolá, M. Karthika, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Huma Khan, Madad Khan, Mohsin Khan, Hee Sik Kim, Seon Jeong Kim, Valeri Kromov, R. M. Latif, Madeleine Al-Tahan, Mehmat Ali Ozturk, Minghao Hu, S. Mirvakili, Mohammad Abobala, Mohammad Hamidi, Mohammed Abdel-Sattar, Mohammed A. Al Shumrani, Mohamed Talea, Muhammad Akram, Muhammad Aslam, Muhammad Aslam Malik, Muhammad Gulistan, Muhammad Shabir, G. Muhiuddin, Memudu Olaposi Olatinwo, Osman Anis, Choonkil Park, M. Parimala, Ping Li, K. Porselvi, D. Preethi, S. Rajareega, N. Rajesh, Udhayakumar Ramalingam, Riad K. Al-Hamido, Yaser Saber, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, A.A. Salama, Ganeshsree Selvachandran, Songtao Shao, Seok-Zun Song, Tahsin Oner, M. Mohseni Takallo, Binod Chandra Tripathy, Tugce Katican, J. Vimala, Xiaohong Zhang, Xiaoyan Mao, Xiaoying Wu, Xingliang Liang, Xin Zhou, Yingcang Ma, Young Bae Jun, Juanjuan Zhang

Collected Papers (on various scientific topics), Volume XII

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬

Collected Papers (on Neutrosophic Theory and Applications), Volume VII

This seventh volume of Collected Papers includes 70 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2013-2021 by the author alone or in collaboration with the following 122 co-authors from 22 countries: Mohamed Abdel-Basset, Abdel-Nasser Hussian, C. Alexander, Mumtaz Ali, Yaman Akbulut, Amir Abdullah, Amira S. Ashour, Assia Bakali, Kousik Bhattacharya, Kainat Bibi, R. N. Boyd, Ümit Budak, Lulu Cai, Cenap Özel, Chang Su Kim, Victor Christianto, Chunlai Du, Chunxin Bo, Rituparna Chutia, Cu Nguyen Giap, Dao The Son, Vinayak Devvrat, Arindam Dey, Partha Pratim Dey, Fahad Alsharari, Feng Yongfei, S. Ganesan, Shivam Ghildiyal, Bibhas C. Giri, Masooma Raza Hashmi, Ahmed Refaat Hawas, Hoang Viet Long, Le Hoang Son, Hongbo Wang, Hongnian Yu, Mihaiela Iliescu, Saeid Jafari, Temitope Gbolahan Jaiyeola, Naeem Jan, R. Jeevitha, Jun Ye, Anup Khan, Madad Khan, Salma Khan, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Kifayat Ullah, Kishore Kumar P.K., Sujit Kumar De, Prasun Kumar Nayak, Malayalan Lathamaheswari, Luong Thi Hong Lan, Anam Luqman, Luu Quoc Dat, Tahir Mahmood, Hafsa M. Malik, Nivetha Martin, Mai Mohamed, Parimala Mani, Mingcong Deng, Mohammed A. Al Shumrani, Mohammad Hamidi, Mohamed Talea, Kalyan Mondal, Muhammad Akram, Muhammad Gulistan, Farshid Mofidnakhaei, Muhammad Shoaib, Muhammad Riaz, Karthika Muthusamy, Nabeela Ishfaq, Deivanayagampillai Nagarajan, Sumera Naz, Nguyen Dinh Hoa, Nguyen Tho Thong, Nguyen Xuan Thao, Noor ul Amin, Dragan Pamučar, Gabrijela Popović, S. Krishna Prabha, Surapati Pramanik, Priya R, Qiaoyan Li, Yaser Saber, Said Broumi, Saima Anis, Saleem Abdullah, Ganeshsree Selvachandran, Abdulkadir Sengür, Seyed Ahmad Edalatpanah, Shahbaz Ali, Shahzaib Ashraf, Shouzhen Zeng, Shio Gai Quek, Shuangwu Zhu, Shumaiza, Sidra Sayed, Sohail Iqbal, Songtao Shao, Sundas Shahzadi, Dragiša Stanujkić, Željko Stević, Udhayakumar Ramalingam, Zunaira Rashid, Hossein Rashmanlou, Rajkumar Verma, Luige Vlădăreanu, Victor Vlădăreanu, Desmond Jun Yi Tey, Selçuk Topal, Naveed Yaqoob, Yanhui Guo, Yee Fei Gan, Yingcang Ma, Young Bae Jun, Yuping Lai, Hafiz Abdul Wahab, Wei Yang, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Lemnaouar Zedam

Collected Papers (on Neutrosophics, Plithogenics, Hypersoft Set, Hypergraphs, and other topics), Volume X

This tenth volume of Collected Papers includes 86 papers in English and Spanish languages comprising 972 pages, written between 2014-2022 by the author alone or in collaboration with the following 105 co-authors (alphabetically ordered) from 26 countries: Abu Sufian, Ali Hassan, Ali Safaa Sadiq, Anirudha Ghosh, Assia Bakali, Atiqe Ur Rahman, Laura Bogdan, Willem K.M. Brauers, Erick González Caballero, Fausto Cavallaro, Gavrilă Calefariu, T. Chalapathi, Victor Christianto, Mihaela Colhon, Sergiu Boris Cononovici, Mamoni Dhar, Irfan Deli, Rebeca Escobar-Jara, Alexandru Gal, N. Gandotra, Sudipta Gayen, Vassilis C. Gerogiannis, Noel Batista Hernández, Hongnian Yu, Hongbo Wang, Mihaiela Iliescu, F. Nirmala Irudayam, Sripati Jha, Darjan Karabašević, T. Katican, Bakhtawar Ali Khan, Hina Khan, Volodymyr Krasnoholovets, R. Kiran Kumar, Manoranjan Kumar Singh, Ranjan Kumar, M. Lathamaheswari, Yasar Mahmood, Nivetha Martin, Adrian Mărgean, Octavian Melinte, Mingcong Deng, Marcel Migdalovici, Monika Moga, Sana Moin, Mohamed Abdel-Basset, Mohamed Elhoseny, Rehab Mohamed, Mohamed Talea, Kalyan Mondal, Muhammad Aslam, Muhammad Aslam Malik, Muhammad Ihsan, Muhammad Naveed Jafar, Muhammad Rayees Ahmad, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Mujahid Abbas, Mumtaz Ali, Radu I. Munteanu, Ghulam Murtaza, Munazza Naz, Tahsin Oner, ‪Gabrijela Popović‬‬‬‬‬, Surapati Pramanik, R. Priya, S.P. Priyadharshini, Midha Qayyum, Quang-Thinh Bui, Shazia Rana, Akbara Rezaei, Jesús Estupiñán Ricardo, Rıdvan Sahin, Saeeda Mirvakili, Said Broumi, A. A. Salama, Flavius Aurelian Sârbu, Ganeshsree Selvachandran, Javid Shabbir, Shio Gai Quek, Son Hoang Le, Florentin Smarandache, Dragiša Stanujkić, S. Sudha, Taha Yasin Ozturk, Zaigham Tahir, The Houw Iong, Ayse Topal, Alptekin Ulutaș, Maikel Yelandi Leyva Vázquez, Rizha Vitania, Luige Vlădăreanu, Victor Vlădăreanu, Ștefan Vlăduțescu, J. Vimala, Dan Valeriu Voinea, Adem Yolcu, Yongfei Feng, Abd El-Nasser H. Zaied, Edmundas Kazimieras Zavadskas.‬