Yosep Han
Yonsei University · Computer Science
About the Lab
Professor Yosep Han's research lab specializes in theoretical computer science and formal language theory, with a focus on automata theory, regular languages, and their structural properties. The lab investigates state complexity, determinism, and minimization in finite automata, particularly for special language classes such as prefix-free, infix-free, and finite languages. It also explores algorithmic problems like primality testing and decomposition of regular languages, with an emphasis on polynomial-time solutions. Additionally, the lab contributes to applied areas such as personalized recommendation systems in IoT environments, blending theoretical foundations with practical applications.
Research Overview
Research Output Trend
Figures are computed from collected data and may differ slightly.
Selected Papers
15Knowledge of the noise distribution in magnitude diffusion MRI images is the centerpiece to quantify uncertainties arising from the acquisition process. The use of parallel imaging methods, the number of receiver coils and imaging filters applied by the scanner, amongst other factors, dictate the resulting signal distribution. Accurate estimation beyond textbook Rician or noncentral chi distributions often requires information about the acquisition process (e.g., coils sensitivity maps or recons
We investigate the nondeterministic state complexity of basic operations for prefix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case for a minimal nondeterministic finite-state automaton that accepts the language obtained from the operation. We establish the precise state complexity of catenation, union, intersection, Kleene star, reversal and complementation for prefix-free regular languages
We explore expression automata with respect to determinism and minimization. We define determinism of expression automata using prefix-freeness. This approach is, to some extent, similar to that of Giammarresi and Montalbano's definition of deterministic generalized automata. We prove that deterministic expression automata languages are a proper subfamily of the regular languages. We close by defining the minimization of deterministic expression automata.
We study infix-free regular languages. We observe the structural properties of finite-state automata for infix-free languages and develop a polynomial-time algorithm to determine infix-freeness of a regular language using state-pair graphs. We consider two cases: 1) A language is specified by a nondeterministic finite-state automaton and 2) a language is specified by a regular expression. Furthermore, we examine the prime infix-free decomposition of infix-free regular languages and design an alg
We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. First we compute upper bounds using structural properties of minimal deterministic finite-state automata for finite languages. Then, we show that the upper bounds are tight if we have a variable sized alphabet that can depend on the size of input deterministic finite-state automata. In addition, we prove that the upper bounds are un
Recently, the Internet of things (IoT) became useful in various applications based on the web communication technology. The IoT has great potential in several service domains including cultural, educational, or medical areas. We consider a recommendation technique suitable for the IoT-based service. A personalized recommender system often relies on user preferences for better suggestions. We notice that we need a different recommendation approach in the IoT platform. While the conventional recom
The edit-distance between two strings is the smallest number of operations required to transform one string into the other. The distance between languages L 1 and L 2 is the smallest edit-distance between string w i ∈ L i , i = 1, 2. We consider the problem of computing the edit-distance of a given regular language and a given context-free language. First, we present an algorithm that finds for the languages an optimal alignment, that is, a sequence of edit operations that transforms a string in
Research Areas
Dive deeper into Yosep Han's research on Nubint
Open this lab's papers in the app to read with AI, summarize, and cite in your writing.