AldairCoronel

Google Summer of Code 2020

Project Description

Title: Implement an Azure blobstore filesystem for Python SDK
JIRA Issue: BEAM-6807

Product: Apache Beam
Organization: The Apache Software Foundation

Student: Aldair Coronel Ruiz (aldaircr@ciencias.unam.mx)

AldairCoronel

tm_states :: State -> Char -> (State, Char, Movement)
tm_states "q0" 'a' = ("q1", 'A', R)
tm_states "q0" 'B' = ("q4", 'B', R)
tm_states "q1" 'a' = ("q1", 'a', R)
tm_states "q1" 'b' = ("q2", 'B', R)
tm_states "q1" 'B' = ("q1", 'B', R)
tm_states "q2" 'b' = ("q2", 'b', R)
tm_states "q2" 'C' = ("q2", 'C', R)
tm_states "q2" 'c' = ("q3", 'C', L)
tm_states "q3" 'A' = ("q0", 'A', R)

AldairCoronel

-- Implementación de Autómata de Pila


-- Se define formalmente como PDA = (Q, Σ, Γ, δ, qo, Z0, F) donde:
-- Q Conjunto de estados
-- Σ Alfabeto de entrada
-- Γ Alfabeto de la pila
-- δ Función de transición
-- q0 Estado Inicial
-- Z0 Símbolo inicial de la pila

AldairCoronel

-- Implementación de Máquina de Turing

-- Se define formalmente como TM  = (Q, Σ, Γ, δ, qo, ␣, F) donde:
-- Q Conjunto de estados
-- Σ Alfabeto de entrada
-- Γ Alfabeto de la cinta
-- δ Función de transición
-- q0 Estado Inicial
-- ␣ Símbolo en blanco
-- F Conjunto de estados finales