parse10.py

#!/usr/bin/env python3
"""
Determine whether sentences are grammatical under a CFG, using Earley's algorithm.
(Starting from this basic recognizer, you should write a probabilistic parser
that reconstructs the highest-probability parse of each given sentence.)
"""

# Recognizer code by Arya McCarthy, Alexandra DeLucia, Jason Eisner, 2020-10, 2021-10.
# This code is hereby released to the public domain.

from __future__ import annotations
import argparse
import logging
import math
import pdb
from re import L

import tqdm
from dataclasses import dataclass
from pathlib import Path
from collections import Counter
from typing import Counter as CounterType, Iterable, List, Optional, Dict, Tuple
import pdb

from parse5 import Item

log = logging.getLogger(Path(__file__).stem)  # For usage, see findsim.py in earlier assignment.


def parse_args() -> argparse.Namespace:
    """Parse command-line arguments"""
    parser = argparse.ArgumentParser(description=__doc__)
    parser.add_argument(
        "grammar", type=Path, help="Path to .gr file containing a PCFG'"
    )
    parser.add_argument(
        "sentences", type=Path, help="Path to .sen file containing tokenized input sentences"
    )
    parser.add_argument(
        "-s",
        "--start_symbol",
        type=str,
        help="Start symbol of the grammar (default is ROOT)",
        default="ROOT",
    )

    verbosity = parser.add_mutually_exclusive_group()
    verbosity.add_argument(
        "-v",
        "--verbose",
        action="store_const",
        const=logging.DEBUG,
        default=logging.INFO,
    )
    verbosity.add_argument(
        "-q", "--quiet", dest="verbose", action="store_const", const=logging.WARNING
    )

    parser.add_argument(
        "--progress",
        action="store_true",
        help="Display a progress bar",
        default=False,
    )

    args = parser.parse_args()
    return args


class EarleyChart:
    """A chart for Earley's algorithm."""

    def __init__(self, tokens: List[str], grammar: Grammar, progress: bool = False) -> None:
        """Create the chart based on parsing `tokens` with `grammar`.
        `progress` says whether to display progress bars as we parse."""
        self.tokens = tokens
        self.grammar = grammar
        self.progress = progress
        self.profile: CounterType[str] = Counter()
        self.maxWeights = float("inf");

        self.cols: List[Agenda]
        self._run_earley()  # run Earley's algorithm to construct self.cols

    def accepted(self) -> bool:
        """Was the sentence accepted?
        That is, does the finished chart contain an item corresponding to a parse of the sentence?
        This method answers the recognition question, but not the parsing question."""
        for item in self.cols[-1].all():  # the last column
            if (item.rule.lhs == self.grammar.start_symbol  # a ROOT item in this column
                    and item.next_symbol() is None  # that is complete
                    and item.start_position == 0):  # and started back at position 0
                max(self.maxWeights, item.weights)
                return True
        return False  # we didn't find any appropriate item

    # def printItem(self, last_item):


    #     ##  terminal last, ex: spoon, ((6, N → · spoon),)
    #     if last_item is None:
    #         return
    #     if last_item[1] is not None:
    #         print(last_item)
            
    #         self.printItem(last_item[2])

        # if len(last_item[0].backpointer) == 0:
        #     return
        # if type(last_item) is not tuple:
        #     self.printItem((last_item))

        #     #self.printItem(last_item.backpointer)
        # else:
        #     if last_item[1] is not None:
        #         if len(last_item) == 1:
        #            # print(last_item[0].rule)
        #             self.printItem(last_item[1].backpointer)
        #             return 
        #         else:
        #             #last_item = last_item[0][1].backpointer
        #            # print("last item : {}".format(last_item))
        #             print(f"({last_item[1].rule.lhs}({last_item[1].rule.rhs})") 
        #             #self.printItem(last_item[[1].backpointer) 
        #             self.printItem(last_item[2])
        #             #print(f"({last_item[1].rule.lhs}")
        #             print(f"({last_item[2].rule.lhs}({last_item[2].rule.rhs}))")
        #            # print(last_item[0][1].rule.lhs )
        #             #print(last_item[0][1].rule.rhs)

        #            ##### self.printItem(last_item[0][1].backpointer) #######

        #            ##### print(f"({last_item[1].rule.lhs}({last_item[1].rule.rhs}") ######

        #             self.printItem(last_item[2])
        #             return 
        #     else:
        #         print(f"({last_item[2].rule.lhs} (")
        #         #print(f"({last_item[1].rule.lhs}({last_item[1].rule.rhs}))")
        #         self.printItem(last_item[2])
        #         return 

        # # if len(last_item.backpointer) == 1:
        # #     print(last_item.backpointer.rule)
        # #     return 
        # # elif len(last_item.backpointer) == 2:
        # #     print(last_item.backpointer)
        # #     print(last_item.backpointer)
        # #     print("(" + str(last_item.backpointer[1].rule.lhs) + str(last_item.backpointer[1].rule.rhs) + ")")
        # #     last_item = last_item.backpointer[1]
        # #     print(self.printItem(last_item))
        # #     last_item_0 = last_item.backpointer[0][1]
        # #     print(self.printItem(last_item_0))
        # # return




        # print(last_item.backpointer)
        # print("length of backpointer: {}".format(len(last_item.backpointer)))
        # last_item = last_item.backpointer[1]
        # print(self.printItem(last_item))

        # if last_item:
        #     if len(last_item.backpointer) == 1:
        #         last_item = last_item.backpointer[1]
        #         print(self.printItem(last_item))
        #     else:
        #         last_item = last_item.backpointer[0]
        #         print(self.printItem(last_item))
        # if last_item is None:
        #     return;
        # if type(last_item) is not tuple:
        #     self.printItem(last_item.backpointer);
        # else:
        #     if (last_item[0] is not None):
        #         if (len(last_item) == 1):
        #             self.printItem(last_item[0].backpointer)

        #             return print(last_item[0].rule)
        #         else:
        #             self.printItem(last_item[0][1].backpointer);
        #             self.printItem(last_item[1].backpointer);
        #             return print(f"{last_item[0][1].rule}\n{last_item[1].rule}")
        #     else:
        #         self.printItem(last_item[1].backpointer);
        #         return print(last_item[1].rule)

    def returnMaxProbability(self) -> float:
        """Was the sentence accepted?
                That is, does the finished chart contain an item corresponding to a parse of the sentence?
                This method answers the recognition question, but not the parsing question."""
        print("final col: {}".format(self.cols[-4].all()))
        for item in self.cols[-1].all():  # the last column
            #print("final col: {}".format(self.cols[-0].all()))
            if (item[1].rule.lhs == self.grammar.start_symbol  # a ROOT item in this column
                    and item[1].next_symbol() is None  # that is complete
                    and item[1].start_position == 0):  # and started back at position 0
                
                if min(self.maxWeights, item[0]) == item[0]:
                    self.maxWeights = item[0];
                    #self.printItem(item);
                    print("final item: {}".format(item))

        if self.maxWeights == float("inf"):
            self.maxWeights = 0;
                # if we find a item that lead to maximum probability parse, we can then recursively iterate back to its origin.
        return self.maxWeights  # returns maxProb of Parse.

    # def printItem(self, chart):
    #     # recursively print the parse tree from the chart of backpointers

    #     return;

    def _run_earley(self) -> None:
        """Fill in the Earley chart"""
        # Initially empty column for each position in sentence
        self.cols = [Agenda() for _ in range(len(self.tokens) + 1)]

        # Start looking for ROOT at position 0
        self._predict(self.grammar.start_symbol, 0)

        # We'll go column by column, and within each column row by row.
        # Processing earlier entries in the column may extend the column
        # with later entries, which will be processed as well.
        #
        # The iterator over numbered columns is `enumerate(self.cols)`.
        # Wrapping this iterator in the `tqdm` call provides a progress bar.
        from tqdm import tqdm

        for i, column in tqdm(enumerate(self.cols),
                              total=len(self.cols),
                              disable=not self.progress):
            log.debug("")
            log.debug(f"Processing items in column {i}")
            while column:  # while agenda isn't empty
                item = column.pop()  # dequeue the next unprocessed item
                next = item[1].next_symbol();
                if next is None:  # if there is nothing u find its customer and attach.
                    # Attach this complete constituent to its customers
                    log.debug(f"{item} => ATTACH")
                    self._attach(item, i)
                elif self.grammar.is_nonterminal(next):
                    # Predict the nonterminal after the dot
                    log.debug(f"{item} => PREDICT")
                    self._predict(next, i)
                else:
                    # Try to scan the terminal after the dot
                    log.debug(f"{item} => SCAN")
                    self._scan(item, i)

    def _predict(self, nonterminal: str, position: int) -> None:
        """Start looking for this nonterminal at the given position."""

        for rule in self.grammar.expansions(nonterminal):
            if len(rule.rhs) == 1:
                if rule.rhs[0] in self.tokens or rule.lhs == "ROOT":
                    new_item = (rule.weight, Item(rule=rule, dot_position=0, start_position=position), Item(rule=rule, dot_position=0, start_position=position))
                    if new_item not in self.cols[position].all():
                        new_item = new_item
                        self.cols[position].push(new_item)
                        log.debug(f"\tPredicted: {new_item} in column {position}")
                        self.profile["PREDICT"] += 1
            elif len(rule.rhs) == 2:
                new_item = (rule.weight, Item(rule=rule, dot_position=0, start_position=position), Item(rule=rule, dot_position=0, start_position=position))
                if new_item not in self.cols[position].all():
                    new_item = new_item
                    self.cols[position].push(new_item)
                    #log.debug(f"\tBackpointer: {new_item.backpointer}")
                    log.debug(f"\tPredicted: {new_item} in column {position}")
                    self.profile["PREDICT"] += 1
            

    def _scan(self, item: Item, position: int) -> None:
        """Attach the next word to this item that ends at position,
        if it matches what this item is looking for next."""
        # keeps the backpointer of the rules
        if position < len(self.tokens) and self.tokens[position] == item[1].next_symbol():
            #new_item = item.with_dot_advanced(weights=item.weights, backpointer=tuple([item]))
           # print("Item: {}".format(item[0]))
            new_item = item[1].with_dot_advanced()
            if new_item not in self.cols:
                self.cols[position + 1].push((item[0],new_item, item))
            log.debug(f"\tScanned to get: {new_item} in column {position + 1}")
            self.profile["SCAN"] += 1
           # log.debug(f"\tBackpointer: {new_item.backpointer}")

    def _attach(self, item: Item, position: int) -> None:
        """Attach this complete item to its customers in previous columns, advancing the
        customers' dots to create new items in this column.  (This operation is sometimes
        called "complete," but actually it attaches an item that was already complete.)
        """
        # backponter
        # backpointer datastrcture
        # where shoud the start symbol point to?
        mid = item[1].start_position  # start position of this item = end position of item to its left
        for customer in self.cols[mid].all():  # could you eliminate this inefficient linear search?
            #for all constitutients in agenda
            #pdb.set_trace()
            #temp_h = []
            if customer[1].next_symbol() == item[1].rule.lhs:
               # new_item = customer[1].with_dot_advanced(weights=(item[0] + customer[0]), backpointer=item)
                #new_item = customer.with_dot_advanced(weights=(item.weights + customer.weights), backpointer=tuple([customer.backpointer, item]));
                new_item = customer[1].with_dot_advanced()
                if new_item in self.cols[position].all() and new_item[0] < item[0] + customer[0] or new_item not in self.cols[position].all():
                    self.cols[position].push((item[0] + customer[0],new_item, item[1]))
                elif new_item not in self.cols[position].all():
                    self.cols[position].push((item[0] + customer[0],new_item, item[1]))
               # elif new_item in self.cols[position].all():
                log.debug(f"\tAttached to get: {new_item} in column {position}")
                self.profile["ATTACH"] += 1
                 #log.debug(f"\t Backpointer: {new_item.backpointer}")


class Agenda:
    """An agenda of items that need to be processed.  Newly built items
    may be enqueued for processing by `push()`, and should eventually be
    dequeued by `pop()`.
    This implementation of an agenda also remembers which items have
    been pushed before, even if they have subsequently been popped.
    This is because already popped items must still be found by
    duplicate detection and as customers for attach.
    (In general, AI algorithms often maintain a "closed list" (or
    "chart") of items that have already been popped, in addition to
    the "open list" (or "agenda") of items that are still waiting to pop.)
    In Earley's algorithm, each end position has its own agenda -- a column
    in the parse chart.  (This contrasts with agenda-based parsing, which uses
    a single agenda for all items.)
    Standardly, each column's agenda is implemented as a FIFO queue
    with duplicate detection, and that is what is implemented here.
    However, other implementations are possible -- and could be useful
    when dealing with weights, backpointers, and optimizations.
    >>> a = Agenda()
    >>> a.push(3)
    >>> a.push(5)
    >>> a.push(3)   # duplicate ignored
    >>> a
    Agenda([]; [3, 5])
    >>> a.pop()
    3
    >>> a
    Agenda([3]; [5])
    >>> a.push(3)   # duplicate ignored
    >>> a.push(7)
    >>> a
    Agenda([3]; [5, 7])
    >>> while a:    # that is, while len(a) != 0
    ...    print(a.pop())
    5
    7
    """

    def __init__(self) -> None:
       # self._items: List[Item] = []  # list of all items that were *ever* pushed
        self._items: List[tuple(float, Item, Item)] = []
        self._next = 0  # index of first item that has not yet been popped
        self._index: Dict[Item, int] = {}  # stores index of an item if it has been pushed before

        # Note: There are other possible designs.  For example, self._index doesn't really
        # have to store the index; it could be changed from a dictionary to a set.
        #
        # However, we provided this design because there are multiple reasonable ways to extend
        # this design to store weights and backpointers.  That additional information could be
        # stored either in self._items or in self._index.

    def __len__(self) -> int:
        """Returns number of items that are still waiting to be popped.
        Enables `len(my_agenda)`."""
        return len(self._items) - self._next

    def push(self, item: Item) -> None:
        """Add (enqueue) the item, unless it was previously added."""
        if item not in self._index:  # O(1) lookup in hash table
            self._items.append((item))
            self._index[item] = len(self._items) - 1

    def pop(self) -> Item:
        """Returns one of the items that was waiting to be popped (dequeued).
        Raises IndexError if there are no items waiting."""
        if len(self) == 0:
            raise IndexError
        item = self._items[self._next]
        self._next += 1
        return item

    def all(self) -> Iterable[Item]:
        """Collection of all items that have ever been pushed, even if
        they've already been popped."""
        return self._items

    def __repr__(self):
        """Provide a REPResentation of the instance for printing."""
        next = self._next
        return f"{self.__class__.__name__}({self._items[:next]}; {self._items[next:]})"


class Grammar:
    """Represents a weighted context-free grammar."""

    def __init__(self, start_symbol: str, *files: Path) -> None:
        """Create a grammar with the given start symbol,
        adding rules from the specified files if any."""
        self.start_symbol = start_symbol
        self._expansions: Dict[str, List[Rule]] = {}  # maps each LHS to the list of rules that expand it
        # Read the input grammar files
        for file in files:
            self.add_rules_from_file(file)

    def add_rules_from_file(self, file: Path) -> None:
        """Add rules to this grammar from a file (one rule per line).
        Each rule is preceded by a normalized probability p,
        and we take -log2(p) to be the rule's weight."""
        with open(file, "r") as f:
            for line in f:
                # remove any comment from end of line, and any trailing whitespace
                line = line.split("#")[0].rstrip()
                # skip empty lines
                if line == "":
                    continue
                # Parse tab-delimited linfore of format <probability>\t<lhs>\t<rhs>
                _prob, lhs, _rhs = line.split("\t")
                prob = float(_prob)
                rhs = tuple(_rhs.split())
                rule = Rule(lhs=lhs, rhs=rhs, weight=-math.log2(prob))
               # print("Rule: {}".format(rule))
                ## checking for terminals 
                


                # rule.weight holds the weight for each rule
                # rule.weight

                if lhs not in self._expansions:
                    self._expansions[lhs] = []
                self._expansions[lhs].append(rule)

    def expansions(self, lhs: str) -> Iterable[Rule]:
        """Return an iterable collection of all rules with a given lhs"""
        return self._expansions[lhs]

    def is_nonterminal(self, symbol: str) -> bool:
        """Is symbol a nonterminal symbol?"""
        return symbol in self._expansions


# A dataclass is a class that provides some useful defaults for you. If you define
# the data that the class should hold, it will automatically make things like an
# initializer and an equality function.  This is just a shortcut.
# More info here: https://docs.python.org/3/library/dataclasses.html
# Using a dataclass here lets us specify that instances are "frozen" (immutable),
# and therefore can be hashed and used as keys in a dictionary.
@dataclass(frozen=True)
class Rule:
    """
    Convenient abstraction for a grammar rule.
    A rule has a left-hand side (lhs), a right-hand side (rhs), and a weight.
    """
    lhs: str
    rhs: Tuple[str, ...]
    weight: float = 0.0

    def __repr__(self) -> str:
        """Complete string used to show this rule instance at the command line"""
        return f"{self.lhs} → {' '.join(self.rhs)}, {self.weight}"


# We particularly want items to be immutable, since they will be hashed and
# used as keys in a dictionary (for duplicate detection).
@dataclass(frozen=True)
class Item:
    """An item in the Earley parse table, representing one or more subtrees
    that could yield a particular substring."""
    rule: Rule
   # weights: float
    dot_position: int
    start_position: int
  #  backpointer: tuple

    # We don't store the end_position, which corresponds to the column
    # that the item is in, although you could store it redundantly for
    # debugging purposes if you wanted.

    def next_symbol(self) -> Optional[str]:
        """What's the next, unprocessed symbol (terminal, non-terminal, or None) in this partially matched rule?"""
        assert 0 <= self.dot_position <= len(self.rule.rhs)
        if self.dot_position == len(self.rule.rhs):
            return None
        else:
            return self.rule.rhs[self.dot_position]

    def with_dot_advanced(self) -> Item:
        # update item with new weights?
        if self.next_symbol() is None:
            raise IndexError("Can't advance the dot past the end of the rule")
        return Item(rule=self.rule, dot_position=self.dot_position + 1, start_position=self.start_position)
       # return (weights,Item(rule=self.rule, dot_position=self.dot_position + 1, start_position=self.start_position), backpointer)

    def __repr__(self) -> str:
        """Complete string used to show this item at the command line"""
        DOT = "·"
        rhs = list(self.rule.rhs)  # Make a copy.
        rhs.insert(self.dot_position, DOT)
        # self.weights[(self.start_position, self.rule.lhs.join(rhs))] = self.rule.weight;
        dotted_rule = f"{self.rule.lhs} → {' '.join(rhs)}"
        return f"({self.start_position}, {dotted_rule})"  # matches notation on slides


def main():
    # Parse the command-line arguments
    args = parse_args()
    #logging.basicConfig(level=args.verbose)  # Set logging level appropriately
    logging.basicConfig(filename="all2.log", level=args.verbose, filemode='w')
    grammar = Grammar(args.start_symbol, args.grammar)
    import pdb;

    with open(args.sentences) as f:
        for sentence in f.readlines():
            sentence = sentence.strip()
            if sentence != "":  # skip blank lines
                # analyze the sentence
                log.debug("=" * 70)
                log.debug(f"Parsing sentence: {sentence}")
                chart = EarleyChart(sentence.split(), grammar, progress=args.progress)
                # print the result
                print(
                     str(chart.returnMaxProbability())
                )
                log.debug(f"Profile of work done: {chart.profile}")

                #print(chart.helper_print())


if __name__ == "__main__":
    import doctest

    doctest.testmod(verbose=False)  # run tests
    main()