%rec = (state => $part1[0],
	    char => $part1[1],
	    stack_char => $part1[2],
	    new_state => $part2[0],
	    new_stack_char => $part2[1]);
    push (@db, %rec);