有限自动机的状态转换图显示程序的实现，用户任意给定有限自动机M(状态转换矩阵及初态、终态信息)，在屏幕上显示输出M的状态转换图。程序应具有通用性，状态节点在屏幕上的分布应合理、美观，最终以GUI界面展示

这个问题可以通过使用Python编程语言和Tkinter GUI工具包来实现。

首先，我们需要定义一个函数来读取有限自动机的状态转换矩阵以及初态、终态信息。这个函数可以接受一个文件名作为输入，并返回一个包含有限自动机信息的字典。例如：

def read_automaton(file_name):
    automaton = {}
    with open(file_name, 'r') as f:
        # 读取状态转换矩阵
        transitions = {}
        for line in f:
            line = line.strip()
            if line == '':
                break
            state, symbol, next_state = line.split()
            if state not in transitions:
                transitions[state] = {}
            transitions[state][symbol] = next_state
        automaton['transitions'] = transitions
        # 读取初态和终态信息
        initial_state = f.readline().strip()
        accepting_states = set(f.readline().split())
        automaton['initial_state'] = initial_state
        automaton['accepting_states'] = accepting_states
    return automaton

接下来，我们需要定义一个函数来把有限自动机的状态转换矩阵转化为状态转换图。这个函数可以使用Tkinter工具包来创建GUI界面，并在画布上绘制状态节点和转移边。例如：

import tkinter as tk

def draw_automaton(automaton):
    # 创建主窗口
    root = tk.Tk()
    root.title('Finite Automaton')
    # 创建画布
    canvas = tk.Canvas(root, width=800, height=600)
    canvas.pack()
    # 计算状态节点的位置
    num_states = len(automaton['transitions'])
    state_positions = {}
    for i, state in enumerate(automaton['transitions']):
        x = 100 + 600 * (i % 3) / 2
        y = 100 + 400 * (i // 3) / (num_states // 3 + 1)
        state_positions[state] = (x, y)
    # 绘制状态节点和转移边
    for state in automaton['transitions']:
        x, y = state_positions[state]
        if state == automaton['initial_state']:
            canvas.create_oval(x - 30, y - 30, x + 30, y + 30, fill='white', width=2)
            canvas.create_text(x, y, text=state)
        if state in automaton['accepting_states']:
            canvas.create_oval(x - 30, y - 30, x + 30, y + 30, fill='green', width=2)
            canvas.create_text(x, y, text=state)
        else:
            canvas.create_oval(x - 30, y - 30, x + 30, y + 30, fill='white', width=2)
            canvas.create_text(x, y, text=state)
        for symbol in automaton['transitions'][state]:
            next_state = automaton['transitions'][state][symbol]
            nx, ny = state_positions[next_state]
            canvas.create_line(x, y, nx, ny, arrow=tk.LAST)
            canvas.create_text((x + nx) / 2, (y + ny) / 2, text=symbol)
    # 运行主循环
    root.mainloop()

最后，我们可以使用这两个函数来实现完整的程序。例如：

automaton = read_automaton('automaton.txt')
draw_automaton(automaton)

这个程序将会读取名为"automaton.txt"的文件，然后在GUI界面上显示出有限自动机的状态转换图。注意，这个文件应该包含有限自动机的状态转换矩阵以及初态、终态信息，格式如下：

q0 0 q1
q0 1 q2
q1 0 q2
q1 1 q3
q2 0 q3
q2 1 q1
q3 0 q0
q3 1 q2

q0
q3

这个文件描述了一个有限自动机，它有4个状态(q0, q1, q2, q3)，2个输入符号(0, 1)，并且它的初态为q0，终态为q3。